Add page_js_file param

We currently have a page_css_file param to add custom css to a page.

Now, with the introduction of JS animations, and with some websites embedding small React apps (eclipse.org/events) we can expect there to be more page-specific JS.

Having a page_js_file param would simplify this.