Add release notes for Djblets 1.0.13.
Review Request #11055 — Created June 23, 2020 and submitted
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.