Update to rust 0.9-pre
checkpoint in updating to rust 0.12-pre
progress updating to rust 0.12-pre