properly terminate the Agda child process
hide panel where quit agda