Upgrade to rustc 0.13.0-dev (77f44d4a7 2014-10-29 20:16:57 +0000)