k-Framework: move examples into own sub directory
k-Framework: Rearranged paths
k-Framework: Added a semantics, which is closer to the tex-description