Reinstate Coveralls.

Add Coveralls glue code, but do not require developers to install it.