move tmLanguage and refactor some shit
query user for Agda executable