HomeIsabelle/Phabricator

Update version numbers ready for release of 5.8.2