HTML5 GUI editor for Navit