Integrate with git

[haroldo-ok]

Behind the scenes, every project should be backed by a git repository; every change should be immediately written to disk; the save button should just invoke the commit.