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