Restyled and fixed tests, adding Travis CI and Coveralls