Added agda setup, add support for rbenv to EnhancedRubyMode