Update doc.yaml

master branch missing: use devel instead
Update doc.yaml

use devel branch for the latest documentation
Merge pull request #2627 from jack-oquin/master

fix doc pointers to segbot packages