move release-notes formatting into its own script, insert links to github issues in the html release notes