Make doctools optional

2 jobs for master in 29 minutes and 18 seconds (queued for 123 minutes and 22 seconds)