Added PUSH_BRANCH variable: is the remote branch (git only)

This is useful to versioning several hosts with one git remote repo (eg, PUSH_BRANCH=$HOSTNAME).