OpenXT's Surface Manager -- a tool to allow users to switch between multiple isolated VM displays