Add docstrings to our bash scripts

[ocaisa]

I haven't used it, but mkdocstrings supports https://mkdocstrings.github.io/shell/, which would give us a way to make our bash scripts easier to browse (syntax for the "docstrings" is at https://pawamoy.github.io/shellman/)