Enable PowerShell syntax highlighting

[dustsigns]

According to its documentation, Sphinx is capable of syntax-highlighting PowerShell code. To do so, it requires pygments. According to the latter's documentation, powershell is supported since version 1.5.

However, despite the installation of pygments 2.4.2 inside the docker image (see this commit), syntax highlighting does not work. Sphinx gives the following error message:
sproof-docs-dev_1 | /sphinx-doc/docker/docker-setup.rst:52: WARNING: Could not lex literal_block as "powershell". Highlighting skipped.

PowerShell syntax highlighting is not an absolute must-have, but it is definitively a nice-to-have formatting. Since other languages (e.g., PHP in the API examples) seem to work fine, this should be investigated and fixed.

[dustsigns]

Related: The requirements.txt file specifies slightly different versions of the dependencies. They should be made consistent to the Dockerfile.

[cle1000]

Related: The requirements.txt file specifies slightly different versions of the dependencies. They should be made consistent to the Dockerfile.

It changed the requirement file.

d85e4f0

[dustsigns]

Thanks, the sphinx_rtd_theme seems to be affected as well. And there are dependencies which are not in both files. Is this deliberate or related to how Read the Docs builds the documentation?

[cle1000]

please sign up here: https://readthedocs.org/
after i can add you as a maintainer on the sproof docs project on readthedocs.

[dustsigns]

Done.