Add a menubar option to change the backend.
It restarts without warning.
Also, disable software rendering when switching, similar to the command-line.
Fix some spacing and tab issues in the resource files.