This is a big release, focused on easier virtualenv-based installation

and management, web-based authentication for RBTools 5, fixes for SSO,

and some new usability and management improvements.

Built the docs. Checked for spelling errors, build errors, and bad links.