bashrc.sh: Improvments like 'check'
bin/alog: Support killing
bin/quick-diff-gerrit-patches.sh: Fixes