Added --double-decode command line option to man page.