Python3-compatible dict.keys() sort()ing (refs #106)