Exit GHCi nicely

Apparently, sending SIGTERM is not enough if GHCi is started
with caba exec, so we close it nicely (for now)