Build all the vader workers, not just the default one#1172

LourensVeen merged 3 commits intoamusecode:mainamusecode/amuse:mainfrom

LourensVeen:issue-1153-additional-vader-workersLourensVeen/amuse:issue-1153-additional-vader-workersCopy head branch name to clipboard