Update `info.rkt` version to match the Git tag Both are now 0.13.0. Before, the version in the `info.rkt` file lagged behind several releases.