* Solved memery problems with KIFFlattener
* Added more KIFFlattener tests
* Chnaged 'kif' executable
* Added KIFFlattener executable