add exec permission to git-ex-upgrade
add git-ex-push
make document of git ex push
make document of git-ex-upgrade and git-ex-version
bump up version