Modify travis config for Rust CI