Small improvements to cms.io
Small improvements to a couple of services
Add reference to development mailing-list in the README
Some fixes and improvements.
Fix ES not storing compilation stats.
Slightly improve Makefile parsing for GCC and LaTeX rules
LaTeXRule improvement
Removed duplicate proxy service in cms.conf.sample.
Cloning gevent with an address that does not require auth.
Making it easier to debug why testsuite fails.
Avoid choosing a non-executable isolate.
Better coverage reporting for tests.

Added coverage calls to unit tests, and added source parameter to
allow recording non-touched sources in cms/ in the reports.
Merge branch 'master' of https://github.com/cms-dev/cms into ger-taskformat
Merge branch 'rules' of https://github.com/ioi-germany/cms into ger-taskformat
access restriction for config file (due to fagu) and fixed small bug for statistics