Removed `hull' committed by mistake.

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