We should move the documentation, that is currently posted in the Jenkins wiki, to Github, as described here.