utility to convert html documents to jade documents