Close #35: Travis CI coverage testing works