pdftohtml: exit with 0 with -v and -h