Update of CLI tool and git hooks management

* Renamed command line tool
* Updated use of definitions by command line tool
* Updated git hooks management for better genericity
Update of documentation
Merge pull request #6 from fabrejc/git-hooks-5

Git hooks 5