Dropping rust-ci. Hopefully, travis-ci will now push the documentation to gh-page