refactored common code in ScriptServer
added recording of all props and reordered params
added URL check to replay new page inside a seen tab
Fixed bug with saving and restoring replay state
Added skipping events and not showing the replay event div
Merge branch 'master' into smallupdates
Merge pull request #30 from sbarman/smallupdates

Smallupdates
Merge pull request #31 from schasins/master

Synthesis script includes three functions for finding satisfying expressions, one without optimization, and two with different levels of optimization.
Updated the logging
added tag to debug output
updated logging, fixed timing issue, fixed main panel css
Putting synthesis functionality under a param.
merging.
modified params so they are instantly updated
Refactored out script server (so it can be used on the compare page)
Fixing small style issues with synthesis code
passed gjslint
Passed through gjslint
files pass gjslint
Formatted synthesis.js