Ship SDL 2 on all platforms

http://libsdl.org/download-1.2.php is now legacy. We still retain compatibility for it, but prefer SDL 2 since #4038.