Add alternate-html-formatter executable