added symbolic command to commands.py
implemented value summary compression
updated python scripts
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