Fix travis, add code coverage