kframework/k — pull request #1085 by dwightguth (2014-10-22 16:33:11+00:00)
Title: clean up maude runner and io server

@yilongli please review

I know you aren't familiar with this part of the code, but neither is anyone else on the team. Just give it your best shot.