Remove the dependency on libgtkhtml

All versions of gtkhtml have been deprecated long ago, it is about to be
removed from the ports tree