CI: Build developer documentation

while at it, bump debian image
4 jobs for ci-updates in 23 seconds