Release ThingsGUI, a graphical interface for ThingsDB.
Changes:
- Syntax highlighting for first, last, is_regex and regex functions; issue #98
- Removed double _info() requests; issue #102
- Editor layout updates; issue #103
- Editor link fixed; issue #104
- Menu collapsible; issue #105
- Watcher shows procedures correctly; #107
