MAINT: tools: automated close issue + pr listings for release notes

Add automatically generated list of closed issues and PRs to release notes.

The tools simply pulls the list of issues in Github associated with a given milestone.