Added parser and spinr command line tool
usage
./spinr.native filename
will refine the filename.pml promela model to filename.pml.c C code