Basic support for editing JS files (page reload)

Adds initial support for editing JS files by reloading the page when a related JS file is being saved.

Some side effects were identified which makes instrumentation fail after reloading it. Some portions of the code were temporarily disabled to inhibit that until get fixed. (see #7)

This PR depends on and is already merged with PR #6