ignore mac system files
update the .emacs file for Agda