CockroachDB gets database migration tool, as CockroachDB Serverless launches