Add release notes for Djblets 1.0.13.
Review Request #11055 — Created June 23, 2020 and submitted — Latest diff uploaded
This covers some of the bug fixes for feature checks, modal dialogs,
extensions, and datagrids, along with packaging dependency updates.
Built the docs. Checked for build, spelling, and link errors.