kframework/k — pull request #1161 by dwightguth (2014-11-06 21:17:51+00:00)
Title: add .bat file for kserver and fix nailgun on windows

@yilongli please review