Add pip packages to conda environments, add missing conda.txt files

[mkoeppe]

We have a number of pip-installable optional packages, for which there is no conda package.

Here we add a mechanism to add such packages using a pip: line
in src/environment-optional.yml and src/environment-dev.yml (#33740).

We also add lots of conda.txt files.

To test, follow the instructions in https://doc.sagemath.org/html/en/installation/conda.html#using-conda-to-provide-all-dependencies-for-the-sage-library-experimental
using src/environment-optional.yml or src/environment-dev.yml

(A use case for the pip line in src/environment-dev.yml is #34524: Pip package git_trac_command.)

CC: @tobiasdiez @dimpase @isuruf @saraedum @slel @yuan-zhou

Component: porting

Author: Matthias Koeppe

Branch/Commit: 0e4a696

Reviewer: Dima Pasechnik

Issue created by migration from https://trac.sagemath.org/ticket/33613

[mkoeppe]

Description changed:

--- 
+++ 
@@ -1 +1,5 @@
+Basically just
 
+```
+venv/bin/python3 -m pip install git+https://github.com/sagemath/git-trac-command
+```

[mkoeppe]

comment:3

(Without #33589) I also get

(sage-sh) gitpod@sagemath-sagetracmirror-72wwexpcfmb:sagetrac-mirror$ git trac checkout 33608
Loading ticket #33608...
Checking out Trac #33608 remote branch u/klee/33608 -> local branch t/33608/33608...
Traceback (most recent call last):
    STDERR: Warning: Permanently added the ECDSA host key for IP address '104.197.143.230' to the list of known hosts.
    STDERR: Load key "/home/gitpod/.ssh/id_rsa": invalid format
    STDERR: git@trac.sagemath.org: Permission denied (publickey).
    STDERR: fatal: Could not read from remote repository.
    STDERR: 
    STDERR: Please make sure you have the correct access rights
    STDERR: and the repository exists.

[tobiasdiez]

comment:4

Did you followed the steps outlined in sage's gitpod docs to add the ssh key?

[mkoeppe]

Dependencies: #33589

[mkoeppe]

comment:5

No. In #33589 we should make sure that fetching can be done without these steps.

[mkoeppe]

Branch: u/mkoeppe/gitpod__install_git_trac_command

[mkoeppe]

Author: Matthias Koeppe

[mkoeppe]

Last 10 new commits:

a5d10a2	Fix typo
4950bcf	Add fallback to github mirror
c235ead	Disable pushing to github
40d1e23	Always disable pushing to origin
89591c4	Remove wrong trac from prebuild
3d450f3	Update docs
e9035ae	Silence semi-expected errors during (pre)build
8432e1d	Merge #33589
8aaaf07	build/pkgs/python3/distros/debian.txt: New
eacd393	docker/.gitpod.Dockerfile: Install pip for system python, install git-trac-command

[mkoeppe]

Commit: eacd393

[sagetrac-git]

Changed commit from eacd393 to 3f71861

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

3f71861

docker/.gitpod.Dockerfile: hardcode python3-pip

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

866a833

docker/.gitpod.Dockerfile: Run apt-get update first

[sagetrac-git]

Changed commit from 3f71861 to 866a833

[mkoeppe]

Description changed:

--- 
+++ 
@@ -1,5 +1,9 @@
-Basically just
+This is a pip-installable package
 
 ```
-venv/bin/python3 -m pip install git+https://github.com/sagemath/git-trac-command
+python3 -m pip install git+https://github.com/sagemath/git-trac-command
 ```
+... but it is best to be installed by the user in their system environment, not in SAGE_VENV.
+
+For example, we want to make it available on Gitpod and in devcontainers.
+

[mkoeppe]

Description changed:

--- 
+++ 
@@ -5,5 +5,7 @@
 ```
 ... but it is best to be installed by the user in their system environment, not in SAGE_VENV.
 
-For example, we want to make it available on Gitpod and in devcontainers.
+For example, we want to make it available on Gitpod, in devcontainers, and the user-facing Sage Docker images.
 
+In `environment-dev.yml` (#33740), it should be added as a `pip: ` line.
+