Add developer tools to conda environment

[tobiasdiez]

Add a few dependencies needed for some developer tooling and/or linting.

📝 Checklist

• The title is concise and informative.
• The description explains in detail what this PR is about.
• I have linked a relevant issue or discussion.
• I have created tests covering the changes.
• I have updated the documentation and checked the documentation preview.

⌛ Dependencies

[github-actions]

Documentation preview for this PR (built with commit 56fe3d0; changes) is ready! 🎉
This preview will update shortly after each push to this PR.

[user202729]

Not sure if this is desirable, sometimes some user just want to build from source without doing development work.

[tobiasdiez]

Not sure if this is desirable, sometimes some user just want to build from source without doing development work.

We had a separate -dev environment in the past, but it generated quite a bit of maintenance overhead.

In which scenarios do you think someone would like to build sage from source using conda for dependencies, but not actually work on sage? (In particular, why would she not just install the distributed sage-on-conda?) In this case, would it be so inconvenient to also install a couple of dev tools?

[user202729]

I see. They're just some theoretical considerations.

[tobiasdiez]

I see. They're just some theoretical considerations.

Thanks a lot for bringing them up!

--

The tests fail because of sagemath/cysignals#212, which is fixed in sagemath/cysignals#213.