Remove publishing things

Clippy is no longer published via crates.io, so these docs and the
script are not needed anymore.

Author: phansch