ExternalData: Switch from MD5 to SHA512 and use data.kitware.com
Convert content links from MD5 to SHA512. Update URLs to fetch from Girder on data.kitware.com. Also drop the to-be-disabled midas3.kitware.com URLs.
Additional MD5 content links added by other merge requests will have to be converted by another round later. It may take a few iterations.