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.

I can add other tasks that include `ref/` and `versions/` for people who work on those subsets of the documentation.

Helps solve #5219