Add Jericho HTML library.