Update to recent Rust version

(This message will be edited before merging.)
Nearly done.