Revert "jenkins: configure JJB to allow duplicates"

This reverts commit b5fb75dcc5be5fdf63228130fbf1ad299b987c84 to go in
config-tools.