Refresh and update SML/NJ libraries.