Added instrument command
Added analysis command
Started fork of concolic command
license header
license header
Rerunall command added
Pass install info to run_node_script
Added support for node cover
Escape paths on windows
Add support for invoking CVC3 on Windows
Added support for running a configuration file from the command line
Prevent NPE if no project is selected
Unit testing python script
Typo in units
Unit test in python
Server support in python
Use python web browser support
Config parser in python
Install script in python
use python convension for subprocess