Fixed sphinx version until sphinx plugins are updated to use 3.0.0.

6 jobs for encyclopedia in 24 minutes and 56 seconds (queued for 1 second)