web: delete unused tool binaries.

diff --git a/web/tools/ccanlint b/web/tools/ccanlint
deleted file mode 100755 (executable)
index f870624..0000000
Binary files a/web/tools/ccanlint and /dev/null differ

diff --git a/web/tools/create_dep_tar b/web/tools/create_dep_tar
deleted file mode 100755 (executable)
index 715fb6b..0000000
Binary files a/web/tools/create_dep_tar and /dev/null differ

diff --git a/web/tools/infotojson b/web/tools/infotojson
deleted file mode 100755 (executable)
index 366a79d..0000000
Binary files a/web/tools/infotojson and /dev/null differ