python: Use OrderedDict for input formats.