Provide support for auto-generating pixi configuration files

This MR introduces the devtool pixi subcommand, that helps you create a draft pixi.toml configuration for your existing project. It uses a dev-profile of your choice to pin dependence versions to values used for testing in our CI. You may modify, commit (or not) the generated configuration or otherwise use it to create development environments using pixi.