github connected ci, code coverage and code style tools github connected ci, code coverage and code style tools https://travis-ci.org/ https://coveralls.io/ https://styleci.io/ ci github php tools webdev