build: combine the jenkins server scripts with mahara-scripts
I have directed the Jenkins pipelines to look in this repo for pipelines scripts. The scripts on the Jenkins server are in this MR. Once merged, there will only be one source of truth.
I have directed the Jenkins pipelines to look in this repo for pipelines scripts. The scripts on the Jenkins server are in this MR. Once merged, there will only be one source of truth.