kframework/k — pull request #1163 by cos (2014-11-06 23:07:39+00:00)
Title: move scala dependency to the top

**please review**, @dwightguth

there are some weird errors in Eclipse otherwise