Including and printing Jenkins build job number

For #1374