Programmable troff translator with backend for HTML