application/jenkins: Add the feature to add extra packages

This commit allows one to specify the package one needs on its build
server.