convert_rss_db_tables.cc: Only migrate tables if VuFind is installed, else just drop rss_aggregator table.
convert_rss_db_tables.cc: Only migrate tables if VuFind is installed, else just drop rss_aggregator table.

ubtue/ub_tools,ubtue/ub_tools,ubtue/ub_tools,ubtue/ub_tools,ubtue/ub_tools,ubtue/ub_tools,ubtue/ub_tools,ubtue/ub_tools