Change dumppdf, pdf2txt, latin2ascii command line tools to use argparse instead of getopt