Gpu device selection

Makes it possible to set gpu device selection vars programmatically, and have them depend on user_context.