Gitpod workspace path is based on repo name... it was `/workspace/Pinetime`, but after the repo rename it's now `/workspace/InfiniTime`. Also added second pip call as it's in the main dockerfile.
And forget the chown. sudo can be used if the dependencies ever need to be updated "live"
Little configuration to give https://gitpod.io users an environment with the SDKs pre-installed
