Minimal changes necessary for having an async Agda process#46

dolio wants to merge 1 commit intoderekelkins:masterderekelkins/agda-vim:masterfrom

dolio:asyncdolio/agda-vim:asyncCopy head branch name to clipboard