Tweak Gitpod settings for faster build

[shiltemann]

I think the build was timing out waiting for content to be served on port 4000, this should save about 15 minutes of build time