* Added relevant copy-constructors
* solved typos in bison file
* added kif.cpp
* solved type errors in bison file

* solvedmemory problems in KIFScanner

* successful copy constructor and destructors

* solved clause destructor problems

* added comments