update of users manual
-fix: the version number of engine now matches the maven version