Agda language support for the Atom editor