kill agda process when agda-mode:quit