Added coverage to our testing setup, and a config for travis-ci