Problem with doc generation about kat HOT 2 CLOSED

@amadanmath I haven't had the problem myself, but that is probably because I have an older version of the npm dependencies installed. I have temporarily disabled the docs build target (which only builds the API docs) and will look into it in more detail on monday morning.

/cc @LiftnLearn @kohlhase

from kat.

I could not find a proper solution for the issues, so I have switched over to using a slightly different jsdoc template. I have tested on a blank machine and have updated the instructions in the README. To update cleanly, do:

cd /path/to/clone/of/KAT/

# Cleanup old versions, ensure the working directory is clean
rm -r node_modules
npm uninstall -g grunt 
git reset --hard

# Pull and install cleanly
git pull
npm install -g grunt
npm install .

/cc @LiftnLearn

from kat.