Support multiple sequences / TCKs in the same build

The build system needs to support compiling multiple sequences in one go. The sequence / TCK to execute should be selected at runtime. This allows for

• testing different sequences in the same build (e.g. as needed in the nightly based tests)
• switching between different TCKs online

@raaij feel free to flesh this out