Now using "-Ofast" instead of "-O3".
Enabling CPPFLAGS and CFLAGS for building satz.
Removed stale target satzm2pp.

The script is already provided via a simple link (created by "oklib
--prebuild").
Update of script providing additional preprocessing for satz215.
Provided documentation for Satz215.
Update.
*** New version 0.6 (Solvers/Satz) ***