Implement different types of builds and deployments
There are different types of builds:
- Development builds, for commits / pull requests
- Integration builds, e.g. nightly/weekly
- Milestone builds, for release milestones
- Release candidate builds, for release candidates
- Release builds, for releases
This needs to be set up for our Maven build and with the Jenkins build server.
Edited by Dennis Hendriks