Changes in MySQL Shell 8.0.15 (2019-02-01)

This release contains no functional changes and is published to align version number with the MySQL Server 8.0.15 release.