WIP: Better coverage use on Travis

This *might* fix some Travis-related issues.