Enable coverage for Travis builds