Add workspace + Restore tab selection on restart + CI build changes

Adding a workspace to make checkout easier.

Adding functionality to preserve tab selection across restarts.

Adjust the configuration of the build to make it work on the CI server