civi-download-tools - Ensure mysql and mysqladmin are in PATH.

If any key commands (php, mysql, mysqladmin) are missing from PATH, give
suggestions on where to find them.