Disable timely's default features

Disable timely's default features, which means disable getopts, which
differential doesn't need. This avoids forcing timely's getopts feature on
folks who bring in differential.

Author: benesch

Cargo.toml

@@ -30,11 +30,14 @@ serde_derive = "1.0"
 abomonation = "0.7"
 abomonation_derive = "0.5"
 timely_sort="0.1.6"
-#timely = "0.11"
-timely = { git = "https://github.com/TimelyDataflow/timely-dataflow" }
-#timely = { path = "../timely-dataflow/timely/" }
+#timely = { version = "0.11", default-features = false }
+timely = { git = "https://github.com/TimelyDataflow/timely-dataflow", default-features = false }
+#timely = { path = "../timely-dataflow/timely/", default-features = false }
 fnv="1.0.2"
 
+[features]
+default = ["timely/getopts"]
+
 [profile.release]
 opt-level = 3
 debug = true