kframework/k — pull request #783 by dwightguth (2014-08-04 16:31:40+00:00)
Title: Fix issue #780 : krun / kast --version

@yilongli please review