Update version number in info.rkt.