Introduce a mechanism for the toolbox to check updates

[mathinking]

It would be good to have the possibility of checking weekly (or monthly) if updated releases are available.

[mathinking]

This might require extra work while the repository remains private.