Add build number to Jenkins builds

[NLthijs48]

Just like AreaShop, add a maven argument to specify the build number and use that on the Jenkins build server to add the build number.