handy utilities from /home/cirkit/bin
Merge branch 'master' of github.com:variablenix/bin
Merge branch 'master' of github.com:variablenix/bin