Cache all external demos

[Deleplace]

Playgrounds come and go.

It is hazardous to rely on them on the long term (se e.g. #228)

Please try to scrap the source codes of the demos and keep the safe somewhere in our own database.

Relevant data:

• program source code
• output (stdout/stderr)
• date of retrieval