kframework/k — pull request #954 by dwightguth (2014-09-16 17:02:20+00:00)
Title: Reorganize maven into separate modules in order to prepare for modularization

**do not review yet**