Update some skarnet.org packages to their latest release. (Necessary for future software to be packaged.)