Add "docs" task to quickly rebuild docs pages

Needed when making changes to documentation locally.

This makes it possible to see the changes in the browser 3 seconds after saving a file. Much better than 20+ seconds as reported in #5219.

I also added a task to rebuild `versions/`. I suppose I can write one to rebuild `refs/` too. Building them all in one task is just too slow.