travis-ci and rust-ci tweaks