In order to build our firmware with jenkins, we need a jenkins pipeline
script. With this commit, this script is provided. Documentation can be
found within the Jenkinsfile.