Mention that users might need mysql devel headers.

Trivial docs change.

Fixes bug 1746.