Update formula: MySQL Cluster 7.3.2.

Also add compatibility with OS X 10.9.