Fetch mysql source from different location

MySQL relocated their sources - this is the new location I had to use to make this dockerfile work