save buffer on agda-mode:give
show warning when giving but cursor not in any goal