Develop integration w08
Summary of changes:
- various bugs fixed
- pre-commit script for better indentation: see commit 068ce4ca For the moment, each contributor has to enable the script (and install astyle) by hand. Maybe at some point the script will be mandatory.