givi - Misc improvements:

 * When outputting commands, display repo name instead of relative path
 * Add --repos option
 * Add hidden "push" action
 * Add disabled "merge-forward" action. (This was previously drafted but ultimately went with tools/scripts/merge-forward.)
givi - Add "--setup" and "--gencode" options
Merge pull request #428 from totten/4.3-givi

givi - Add "--setup" which calls setup.sh