Include in automatic_make and docs.

[Christian Y. Brenninkmeijer]

I notice that this is now included in https://github.com/SpiNNakerManchester/IntegrationTests/blob/main/Jenkinsfile Integration tests and that is good.

But it is not included in
https://spinnakermanchester.github.io/development/devenv6.0.html

Nor in
https://github.com/SpiNNakerManchester/SupportScripts/blob/master/automatic_make.sh