Add command to gp to close preview

[Kreyren]

I was using git commit -m "$(head /dev/urandom | tr -dc A-Za-z0-9 | head -c10)" && git push && gp preview https://gitpod.io/#https://github.com/gitpod-io/workspace-images/pull/204 to test gitpod-io/workspace-images#204 which is unreliable because it does not refresh the preview -> Requesting command to close theia's preview on demand so that i could do:

gp close-preview && git commit -m "$(head /dev/urandom | tr -dc A-Za-z0-9 | head -c10)" && git push && gp preview https://gitpod.io/#https://github.com/gitpod-io/workspace-images/pull/204

[Kreyren]

figured out that i can use gp preview yolo to force the preview refresh.

[stale]

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.