First modif to the introduction to nowork in the user manual

Plus some corrections on the coding-style
Added some corrections
Added full program section
Merge branch 'master' of https://github.com/ptal/nominal-workbench

Conflicts:
	doc/user-manual.tex
Added rewrite use case
Merge branch 'master' of https://github.com/ptal/nominal-workbench