Issue 1244: make it possible to check version without loading the file
Merge branch 'issue1244' of git://github.com/fredrikNordvallForsberg/agda into fredrikNordvallForsberg-issue1244
Merge branch 'fredrikNordvallForsberg-issue1244'