Version 3.1w3 of OpenProofPower

This is a tidy-up release with no functional changes.
See the CHANGES file for details.