add agda and literate agda support
Merge branch 'master' of https://github.com/github/linguist
Merge branch 'master' of https://github.com/github/linguist

Conflicts:
	lib/linguist/languages.yml
Merge pull request #555 from timjb/master

Support Agda and Literate Agda