Dockerfile with necessary dependencies for building and running Open TEE code