Document how to set up a Jenkins build server#37

Tom-Willemsen wants to merge 6 commits intomasterISISComputingGroup/ibex_developers_manual:masterfrom

jenkinsISISComputingGroup/ibex_developers_manual:jenkinsCopy head branch name to clipboard