Add pre-push git hook with tagging capability

This git hook will auto tag new patch version when you push to master. Install
this hook on your local git repo by executing the following commands:

    cp ./util/git_hooks/pre-push ./git/hooks/.
    chmod a+x ./git/hooks/pre-push