Disable agda-mode.
Fixes and links in README.