Introduce Close Stale Issues GitHub Action

[lambiase]

It would be good to mark open issues and PRs that are open for too long as "Stale".

This GitHub action can do it automatically:
https://github.com/marketplace/actions/close-stale-issues

To be discussed whether we are also interested in the auto-closing feature or not.