Use DROP TABLE IF EXISTS to avoid error messages on the first
loading of ./init/resultdb.sql.