running tests on MacOS

[shazqadeer]

I built Corral on Mac OS today using Visual Studio. After that, I tried to run the regression tests but that didn't work.

shaz-mbp:regression shaz$ perl check.pl
File 001\001.bpl does not exist

I think the issue is that the path separator on Unix is / not .

[akashlal]

Fixing the perl script is easy, but this also requires changing the way corral parses flags. For instance, corral currently accepts flags like /recursionBound:3 but it should accept -recursionBound:3 as well (because the former wont work on unix style). Will do in spare time.