[Dillo-dev] Changes in hyphenation

Hi! I just pulled some change to make <pre> work. Please test it again, even things which have worked recently, so that we can be sure that nothing is broken again. Sebastian