Auto merge of #1103 - RalfJung:no-recompile, r=RalfJung

avoid recompiling Miri on install

Author: bors

Cargo.lock

@@ -46,9 +46,10 @@ rand = "0.7"
 # for more information.
 rustc-workspace-hack = "1.0.0"
 
-# Depend on num-traits with default features to avoid having to rebuild
+# Some extra dependency for better feature control to avoid having to rebuild
 # between "cargo build" and "cargo intall".
 num-traits = "*"
+serde = { version = "*", features = ["derive"] }
 
 [build-dependencies]
 vergen = "3"