Documentation

The OP-TEE documentation is now available at optee.readthedocs.io.