Remove pages_docker. Pages will now be generated on another machine.

3 jobs for master in 2 minutes and 7 seconds (queued for 2 seconds)