add command line option --force

to convert a dot file even when the output tex file exists and is newer.
This serves for enforcing changes of dot2texi command options.