Remove unnecessary file (#719) #686

Job	Run time
minrust	1m 54s
loom	1m 55s
cross (i686-unknown-linux-gnu)	24s
miri	10m 54s
cross (armv7-unknown-linux-gnueabihf)	37s
cross (powerpc-unknown-linux-gnu)	28s
nightly	3m 8s
cross (powerpc64-unknown-linux-gnu)	25s
rustfmt	7s
cross (wasm32-unknown-unknown)	7s
stable (ubuntu-latest)	1m 9s
stable (macos-latest)	1m 3s
tsan	2m 29s
stable (windows-latest)	3m 10s
Publish Documentation	1m 46s
	29m 36s

Provide feedback