APT GitHub Improvements

Various improvements to GitHub including linking issues to PRs and the Story Points feature: features are intended for both general GitHub users and the Android Product Team (APT) at Mozilla.