Re-enabled coverage checking in Travis.