bin/purge: revert KiCad .pro files in which only the timestamp changed

bin/purge

@@ -0,0 +1,12 @@
+#!/bin/sh
+if [ "$1" ]; then
+    cd "$1" || exit
+fi
+git ls-files -m | grep '.pro$' |
+    while read n; do
+	if ! [ "`git diff "$n" |
+	  sed '/^--- /d;/^+++ /d;/^[^-+]/d;/^.update=/d'`" ]; then
+	    echo purging "$n" 1>&2
+	    git checkout "$n"
+	fi
+    done