Run config for sdemo
Invoke cover in a correct fashion to generate HTML output
Add support for specification of dot files in run configurations
added symbolic command to commands.py
implemented value summary compression
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
updated python scripts
Added replay of trace to run config
Build dot output for plain replay as well
run conf for sdemo
BDD size
fixed a bug in instrumenting for(;;);
fixed bug in handling record/replay of "this".  This corner case bugs happen when method are added to primitive types.  Noted by Michale Pradel.  See tests/unit/wrapliteraltest.js.
modified instrumentor so that it does not print thrown exceptions.
Fix bug requireing the presence of dot in config
Merge remote-tracking branch 'origin/multPaper'

Conflicts:
	src/python/commands.py