Configurable Allen sequence
This MR takes care of setting the Allen sequence (and the associated JSON file) executed by RunAllen
as part of the configuration. This allows tests as part of the stack build with different Allen sequences.
depends on Allen!552 (merged)