Update to rust version rustc 0.13.0-nightly 2014-12-08