dictextension dict

Refactoring: move shared logic into createHtmlDefinition() to avoid code duplication

Fix a few copy&paste errors where a MIME header was added where it shouldn't have been.

Use CSS instead of HTML and explicit line breaks to format the definitions.
This makes the logic simpler and is "more correct" in the sense that HTML should provide the document and CSS should style it.

Also, let HTML definitions style themselves, instead of enclosing them in a <CODE><PRE> equivalent.

Fix a bug where the newline from the end of the MIME header was included in the definition.

Add a regression test for when one definition has unknown MIME content, but another has a supported MIME content.

Fix a UI weirdness where, if the DICT server responded with definitions which all included unknown MIME types, then an empty window would be shown. Now it shows a "no definitions found", which is better, even if it's still not perfect.

Fix two bugs in the implementation of OPTION MIME
* The content-type was not treated in a case-insensitive manner
* Unknown content types caused an error, but should be ignored.

Fix bug #12; Add support for OPTION MIME for Content-Type text/html

Tag 0.8.5 for a release

Update the version to 0.8.5 for a formal release.