Update version to 2.6.0 in preparation for release
Update version to 2.6.0 in preparation for release

After the release, let's update the version to 2.6.1 immediately.

GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol