Nova: Bugfix and documentation

Matěj Kafkarequested to merge
nova-matej-kafka into master

Fixes a bug in Ptab::remap reported by a student, also adds some documentation and comments to Kalloc and Ptab.

Merge request reports