Add option to specify the MySQL version to download or use