erp5_web_js_style: minimal web style customizable with Javascript

This is a first prototype showing how a site rendering can be modified on the style with a renderJS gadget (to remove, add, modify current page elements).

The navigation is automatically handle by the javascript (with the pushState API), which really speed up the navigation on powerless machine (like Pinebook Pro).