DevAPI: Add interface for drivers to define custom "Manage device" options
opencl: Use new "Manage device" interface to do everything "GPU management" used to be used for
Remove "GPU management" TUI entirely