Create a workspace quickly with the GitLab default devfile