Integrate parallel-properties.py into starter kit

[jimgrundy]

The ability to prove properties in parallel is valuable and so we should have it seamlessly integrated into the starter-kit so that simply setting some options in your makefile is all it takes to prove your properties in parallel.