Various improvements of the _oasis
Remove some no more generated files from the .gitignore
Fix a typo in _oasis
Fix Makefile.dist
Merge branch 'branch-0.6'