[doc] Integrate Jenkins' build status into dev doc