Version 1.0 of Cink

This version of Cink works with Version 3.4 of the K Semantic Framework and corresponds to the description given in the Technical Report TR12-03 (2012) (profs.info.uaic.ro/~tr/tr12-03(version 2).pdf).

The definition of Cink will be completely refatored, in order to make it closer to C++ manual.