[WIP] Add Kestrel backend selection configuration API#176

Copilot wants to merge 1 commit intomasterProjectMagma/Magma:masterfrom

copilot/add-kestrel-backend-configurationProjectMagma/Magma:copilot/add-kestrel-backend-configurationCopy head branch name to clipboard