A command-line tool for converting pdf-files into html