add stardos related menu items to SDL UI, hide profdos1571 items if D… #4241

Job	Run time
Cleanup Previous Builds	6s
Create Draft Release	4s
Style check, Test Headless, Build Documentation	3m 49s
Build (MINGW64, x86_64, GTK3)	15m 21s
Build Debian Package (GTK3, --enable-gtk3ui --with-pulse, libglew-dev libgtk-3-dev libpulse-dev)	6m 37s
Build (MINGW64, x86_64, SDL2)	18m 39s
Build Debian Package (SDL2, --enable-sdl2ui --with-sdlsound --without-pulse, libsdl2-dev libsdl2-...	5m 28s
Build (MINGW64, x86_64, SDL1)	18m 37s
Build Debian Package (SDL1, --enable-sdl1ui --with-sdlsound --without-pulse, libsdl1.2-dev libsdl...	5m 15s
Build (MINGW32, i686, GTK3)	16m 10s
Build Debian Package (Headless, --enable-headlessui --with-pulse, libpulse-dev)	3m 9s
Build (MINGW32, i686, SDL2)	18m 39s
Build (MINGW32, i686, SDL1)	18m 37s
Publish Release	1s
IRC Notification of Build Errors	1s
	2h 10m 33s

Provide feedback