Support for default theme. From BK's patch

We can now provide a default theme file.
See http://bkhome.org/news/?viewDetailed=00127 and
http://www.murga-linux.com/puppy/viewtopic.php?p=812827#812827