Fixes #38: Make code coverage from Travis available in Coveralls