Showcases are out of sync with the real examples

[pieter-bos]

Ideally we should store all the information about showcasesexamples in one place, e.g. the //:: headers of the examples themselves. We should also consider pinning the examples to the vercors version used by the online runner.