Release-2.4.2
This release contain multiple improvements to the build system, which should make KAT easier to install via several package managers and in other linux desktop environments. - support for use of Makefile variable DESTDIR - more consistent management for embedding python scripts and installation of python modules - minor tweaks to help messages and documentation. - both pdf and html are no longer built and installed by default but can be made on request.