Merge pull request #1398 from herbie-fp/update-rival-version

Update rival version

Author: obround

src/info.rkt

@@ -22,7 +22,7 @@
                              "rackunit-lib"
                              "web-server-lib"
                              ("egg-herbie" #:version "2.2")
-                             ("rival" #:version "2.2")
+                             ("rival" #:version "2.3")
                              ("fpbench" #:version "2.0.3")
                              "fmt"))