Kill yesod-devel when either server dies