Add rust-pretty; update Cargo.lock