bash: add aliases for git checkout and source-aliases
brew: install ctags
aliases: fix git-push alias for develop branch