Add (unused) travis options