moved and updated .odocl file
Makefile target to install the prover; build documentation in 'all' target
update the README to explain how to build and install the prover;
default is now to use the install prover, with name 'zipperposition'