Robotics for surgical microscopy