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.