Torv i Randers med overdækning i sommermåneder