Automatically generate other documentation files when `mkdocs` run

[alexdewar]

Currently you have to generate state machine diagrams and the user guide manually before running mkdocs build if you want the full documentation. I believe mkdocs allows you to run arbitrary scripts when you build it, so this should be possible.

I feel like I tried this at some point and it didn't work for whatever reason, but it would be good to revisit.