Add first draft of Mizar API
  * Refactor main into MizarWidget
  * Add Mizar build
Fix build encoding issue
Add missing dependencies
Migrate jQuery/jQueryUI from 1.8.2/1.9.2 to 1.11.1/1.11.0
  * Accordion is dynamically updatable for now !
  * jQueryUI AMD management
  * Selectmenu is finally embedded in jQueryUI
  * + many bug-fixes
Remove unused files
Modify interface to show/hide compass GUI component
No more need of conf.json for Mizar initialization
Little cleanup