use coveralls for on-line code coverage reporting at Travis CI