Upgrade to rustc 0.13.0-dev (8b12fb326 2014-10-09 21:12:03 +0000)