Run config for sdemo
Invoke cover in a correct fashion to generate HTML output
Add support for specification of dot files in run configurations
Make paths.js work in the browser
Revert "Make paths.js work in the browser"

This reverts commit 0e79551d84fa882d895e3902e3d7c63572f5c20d.

The commit introduced several bugs and was unclean
Added replay of trace to run config
Build dot output for plain replay as well
run conf for sdemo
Fix bug requireing the presence of dot in config
Merge remote-tracking branch 'origin/multPaper'

Conflicts:
	src/python/commands.py