Court orders names to be withheld before release of Aaron Swartz records