Update the screensaver to use wxwidgets 3.1.3, like the main environment.
This should have been done for the 8.0.0 release, but I must have forgotten about it.
Authored by: david_costanzo 2021-01-16
Parent: [r5616]
Child: [r5618]