Embed the case file source in the SPINS binary.

The case file source code is embedded into the binary at compile time.
At runtime, the source code is printed to spinscase.cpp. This eliminates
the need to maintain a copy of the case file alongside the binary.