WYTP: added initial version of document describing the Whiley Theorem Prover.  Most of it is copied from the Whiley Language Specification, and therefore needs significant updating.