add zarith_stubs_js

This package is needed for the JS effort.

It adds the package zarith_stubs_js and fix a small problem with the use of nvm

This MR supersedes !161 (closed) that referred to the wrong git branch.