Jenkins extended-choice-parameter plugin