Commands to push/pull/sync the Git repository

Three new commands: 
* pull : pull from the remote repository
* push: push to the remote repository
* sync: commit the current state, pull from the remote repository, push to the remote repository

+ Some PEP8 changes on the changed files