Add release notes for RBTools 0.7.2.

Review Request #7020 — Created March 7, 2015 and submitted — Latest diff uploaded

Information

RBTools
release-0.7.x
f79675d...

Reviewers

The release notes cover the new login/logout commands and the bug fixes
made in this release.

Built the docs and looked at them.