to be reviewed

git-svn-id: https://insight.labri.fr/svn/trunk@895 00316523-1ed1-4fdc-9313-76483a3f41dc
first fixes.

git-svn-id: https://insight.labri.fr/svn/trunk@896 00316523-1ed1-4fdc-9313-76483a3f41dc
review continued

git-svn-id: https://insight.labri.fr/svn/trunk@897 00316523-1ed1-4fdc-9313-76483a3f41dc
when a dynamic jump is solved, the computed target is added to the
path condition.

git-svn-id: https://insight.labri.fr/svn/trunk@898 00316523-1ed1-4fdc-9313-76483a3f41dc
fix many typos.

git-svn-id: https://insight.labri.fr/svn/trunk@899 00316523-1ed1-4fdc-9313-76483a3f41dc