Add Agda and Literate Agda to languages.yml

This adds basic support for Agda (and Literate Agda). I haven't figure out how to add support to pygments.rb, but hopefully that is orthogonal (and next).