Added config file for commit op
Merge branch 'master' of https://github.com/eskang/validAlloy

Conflicts:
	src/git.als
Some changes to the model