Change theme behavior and move themes directory to new plugins

This coe change allows to put theme code in a customization directory
instead of the html5 plugin. The compression script has been adapted
accordingly.