tools: remove src/tools/codelines

This is a one-line script never gained general usage since being added
in 2005.

Backpatch-through: master

diff --git a/src/tools/codelines b/src/tools/codelines
deleted file mode 100755 (executable)
index 93ad571..0000000
--- a/src/tools/codelines
+++ /dev/null
@@ -1,7 +0,0 @@
-#!/bin/sh
-
-# src/tools/codelines
-
-# This script is used to compute the total number of "C" lines in the release
-# This should be run from the top of the Git tree.
-git ls-files -- '*.[chyl]' | xargs cat | wc -l