--with-theme=default decprecated, use --with-theme=galaxy

[Bjoern Michaelsen]

Hi,

tl;dr: dont use --with-theme=default, use --with-theme=galaxy instead

just a note to packagers: --with-theme=default has been deprecated with:

 http://cgit.freedesktop.org/libreoffice/core/commit/?id=7524f45e0a2b86dc418f0eb76df89dbdbecfafd3

That option was nonsense anyway, as it packed galaxy (which is _not_ our
default theme, tango is). That option also did needlessly weird things like
packing that theme slightly different than the rest (e.g. "default.zip" or
"images.zip", while all sane themes use "images_THEMENAME.zip"). This
self-contradicting weirdness has been removed too.


Best,

Bjoern