actually run coverage in travis