Git index in place
A slow but hopefully working implementation of the Git index is in place.This make resource decorations accurate and some operatiions are detected by git now (only move, delete, add and remove) so far.
I have the feeling we will commit real soon now because the only thing needed is an update index and a GUI for the commit.
