Sending coverage to https://coveralls.io

This commit adds a new build in travis which runs tests
with coverage enabled, and which sends coverage results
to https://coveralls.io.