remove generated executable

diff --git a/prove b/prove
deleted file mode 100755 (executable)
index e18fada..0000000
Binary files a/prove and /dev/null differ