Make the MySQL socket path a configurable option.

Changelog for 1c13d8ed1575f9c73d40cccd12a81900ecda7d91.