Add git docu

Added documentation on contributing and updating the installation to the newest version.
@dblommesteijn The question is whether we should put this in the documentation. For instance, I'm doing the work on a shared folder between the VM and host, so I shouldn't do a `git reset --hard`. What do we write in the docs?