added necessary panel config data to show the monokai theme
Duplicated ExportHTML.py, and changed the script to generate minimal code