Removed trailing whitespace

tools/strip-trailing-whitespace.sh

@@ -0,0 +1,7 @@
+#!/bin/bash
+
+# A script for removing trailing whitespace from all lines
+
+for file in "$@"; do
+	sed -i 's/[ \t]*$//' "$file"
+done