Make the source code line mapping more robust.
Merge branch 'master' of https://github.com/progressnerd/dbg-pencilcode-site

Conflicts:
	site/top/src/editor-debug.js