Ophthalmic operation microscope