This PR bumps GitHub stale workflow action to its latest version, thus avoiding deprecation warning as seen e.g. here.