Python standard library: getopt