Update rustc

Update to rustc 0.13.0-nightly (6ef8392b3 2014-10-20 22:17:49 +0000)