Mention Agda in readme.