Kill ghc-modi process on restart request; wait for next request instead of auto-checking.