docs: remove theme docs

Preferred way is to use GTK+ theme for window decorations. Metacity themes are still "supported" to allow users use old themes...

Also metacity-theme.dtd has not been updated for Theme Format 3.x, remove it as it can not be used to validate new format files.