* location for storing files shifted from KIFScanner to KIF
* solved errors in bison file
* KIFFlattener now supports location tracking