Optionally configure crdb listen port in dev.#9696

jmcarp wants to merge 2 commits intomainoxidecomputer/omicron:mainfrom

jmcarp/dev-configure-crdb-portoxidecomputer/omicron:jmcarp/dev-configure-crdb-portCopy head branch name to clipboard