Add implementation for git push.

Creation/deletion of remote branches not supported yet.
Add a simple fetch and rebase example.