Fixed a number of issues in the tutor caused by
Rascal language evolution.

Regenerated documentation and fixed several small issues like
ambiguous references

Finally removed the deprecated Number library (util::Math should be
used), and updated all references in our libraries that still used it.
set manifest version otherwise it does not write
Merge branch 'master' of github.com:cwi-swat/rascal