Add release notes for RBTools 0.7.2.
Review Request #7020 — Created March 7, 2015 and submitted — Latest diff uploaded
The release notes cover the new login/logout commands and the bug fixes made in this release.
Built the docs and looked at them.