Merge branch 'master' of https://github.com/SuperTux/supertux into re… #2751

Job	Run time
clickable (Debug, amd64, glew)	12m 3s
clickable (Debug, amd64, sdl)	11m 11s
clickable (Debug, armhf, glew)	10m 54s
clickable (Debug, armhf, sdl)	10m 12s
clickable (Release, amd64, glew)	11m 21s
clickable (Release, amd64, sdl)	11m 21s
clickable (Release, arm64, glew)	11m 36s
clickable (Release, arm64, sdl)	10m 46s
clickable (Release, armhf, glew)	10m 35s
clickable (Release, armhf, sdl)	10m 8s
	1h 50m 7s

Provide feedback