Add sphinx extension to Docker image

3 jobs for master in 5 minutes and 16 seconds (queued for 1 second)