Changes for version 3.1.00
- Migrated repository to github (github.com/datacharmer/mysql-sandbox)
- Changed license to Apache 2.0
- Limited workaround for bug#77732 to MySQL 5.7.8 only
- Added usability feature for Server-UUID. Whenever server-id is used, the server-uuid is converted into an easy-to-read string of numbers
- Simplified './clear' script. Does not attempt to remove stored routines. Makes the intrusive mysqldump that was running with load_grants unnecessary
- Changed location for MySQL history in group sandboxes to be shared between single ones.