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