restructure develop.rst and extend contribute.rst

what is jenkins ? ;) also better: Jenkins with uppercase, because it is a brand name