Update to FriCAS 1.2.0