made F9 for Agda be Reload, included *.lagda, removed filetype detection (into ftdetect subdir)