Upgrade to rustc 0.13.0-dev (c8d6e3b2c 2014-11-18 19:11:43 +0000)