Update to rust 0.8-dev