repopick: make the abandon not error out if the branch does not exist
repopick: add newline to write()
repopick: search for repo in $PATH and $HOME/bin

  * this allows repopick to be called from the minimal Jenkins environment
repopick: add shortcuts for --quiet (-q) and --verbose (-v)
repopick: make --quiet suppress command output