Snapshots of the Princess Sources

Sources and binaries are now provided on github.

Stable snapshots

Stable snapshots of the CASC/TPTP version