pdf2htmlEX Installation commands