Generate an action to perform updates periodically

[CohenCyril]

Updates should try to:

• update the toolbox (or even nixpkgs if we deal with the toolbox itself?)
• remove overlays (we would need to flag them in some way)
• try new releases of coq?