export data from v1.13 into a "spicedb file," upgraded the server, then loaded the previously made export into v1.14