Petrographical microscope