write(): Do two levels of sorting: first sort the individual location

tuples by filename/lineno, then sort the catalog entries by their
location tuples.