User interface components

• minibar_input.js: user input with magnets and completion
• minibar_translations.js: display translations
• minibar.js: complete Minibar web app
• syntax-editor/editor.js: syntax tree editor
• minibar_support.js, support.js: auxiliary functions
• Documentation: Minibar API