build: add a Win64 build of libSDL. Useless for now, because SDL_Image and SDL_Mixer are needed and are a lot harder to build.