Den fashionabla Coventgarden-teaterns portar ha i dagarne tillslutits och dermed är operasäsongen i London slutad för detta spelår.