Greatly improved update-pages script to take care of init and update.

That way, it can be used without much thinking - if there is a mkdocs
configuration, the pages can be created/update.

Thankfully, there is no date in the html, so git can detect if something
changed and avoid redundancy.

[skip ci]