mysql: fix install into DESTDIR

this is a regression from the version bump, now it needs a different
syntax to make mysql respect DESTDIR.
mysql: build without 180 MB of tests
mysql: bump to 5.6.13