Merge pull request #1 from progressnerd/left-right

Add world's stupidest progress slider.
Merge pull request #2 from progressnerd/left-right

Remove log spam.
Implemented pausing
Merge branch 'master' of https://github.com/progressnerd/dbg-pencilcode-site
Restart button is now consistent
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
Changin button stuff
Merge branch 'master' of https://github.com/progressnerd/dbg-pencilcode-site
Change the debugger trace color to green.
Merge branch 'master' of https://github.com/progressnerd/dbg-pencilcode-site
Recompile after merge.
Fixing multiple turtles
Semi-working history slider
Merge branch 'master' of https://github.com/progressnerd/dbg-pencilcode-site into left-right

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