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

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

Support Agda and Literate Agda
Update samples file
Remove dupe extension
Merge pull request #578 from timm/patch-1

Update languages.yml
Alphabetize
Remove extra ace modes
Include .emacs filenames
Revert 94b3ea3..b301634

This rolls back to commit 94b3ea3df51edf6a7cfbd26016642e01844eb20e.
Merge remote-tracking branch 'upstream/master' into nvidia-cuda

# Please enter a commit message to explain why this merge is necessary,
# especially if it merges an updated upstream into a topic branch.
#
# Lines starting with '#' will be ignored, and an empty message aborts
# the commit.
merged from master and updated samples.json