Changed PRM file format for KK_ prefix

Changed the format of the PRM file. Now all KlustaKwik parameters must be prefixed by KK_ rather than being hard-coded in script.py.
debugging leftover?