Added MariaDB 10.0.1 Development Version

As promised in https://github.com/mxcl/homebrew/pull/19318, this is the upcoming version of maria db.