Added agda mode.
Removed files that should be ignored.