add options to UIs #4749

Job	Run time
Cleanup Previous Builds	2s
Create Draft Release	3s
Style check, Test Headless, Build Documentation	3m 46s
Build Debian Package (GTK3, --enable-gtk3ui --with-pulse, libevdev-dev libglew-dev libgtk-3-dev l...	4m 37s
Build Debian Package (SDL2, --enable-sdl2ui --with-sdlsound --without-pulse, libsdl2-dev libsdl2-...	4m 50s
Build (MINGW64, x86_64, mingw64, GTK3)	1m 8s
Build Debian Package (SDL1, --enable-sdl1ui --with-sdlsound --without-pulse, libsdl1.2-dev libsdl...	3m 46s
Build (MINGW64, x86_64, mingw64, SDL2)	11m 48s
Build Debian Package (Headless, --enable-headlessui --with-pulse, libpulse-dev)	3m 21s
Build (MINGW64, x86_64, mingw64, SDL1)	12m 33s
Publish Release	0s
IRC Notification of Build Errors	18s
	46m 12s

Provide feedback