Add shorter git aliases
Add 'gp' alias for 'git push'