K update: corrected some warnings reported by K v3.2.1-108.
docs: Added INSTALL.md - a file providing installation and execution instructions for this semantics so that colleagues could test it more easily.