svn-short-log pipe filter script (in AWK)