Lib: misc

misc
Lib: use pa_js to compile js.ml
Examples: update