Reorder code
Rewrite how the specs are run

Simplify the storage of ids and fix the ids of specs when repeating the
monitor.
Use the pre-built examples list to run all examples, no need to
reopen every context to discover examples.