HTML5 boiler plate (via web storm)
Remove HTML5 boiler plate files.
EBMC registration demo code.