BUILD: add --with-theme-manager configure option

as requested by TingPing