Move jsoo sourcemaps to site dir if they were generated

Makefile

@@ -82,6 +82,7 @@ site/%.js: _build/default/gui/%.bc.js site
 	sed 's/.process.argv.length>0/.process.argv.length>1/' $< > $@
 
 site/index.html: $(INDEX_HTML) $(SITE_EXTRAS) site/JsSim.js site/KaSimWorker.js  site/KaSaWorker.js site/KaStorWorker.js site/KaMoHaWorker.js
+	for file in _build/default/gui/*.bc.map; do [ -f "$$file" ] || continue; cp $${file} site/$${file##*/}; done
 	cat $< | sed "s/RANDOM_NUMBER/$(RANDOM_NUMBER)/g" | sed "s/JQUERY_VERSION/$(JQUERY_VERSION)/g" | sed "s/JQUERY_UI_VERSION/$(JQUERY_UI_VERSION)/g" |  sed "s/CODEMIRROR_VERSION/$(CODEMIRROR_VERSION)/g" | sed "s/BOOTSTRAP_VERSION/$(BOOTSTRAP_VERSION)/g" > $@
 
 %.pdf: %.tex $(SCRIPTSWITNESS)