Issue #pos-25: let Paket update to the latest available version if possible