Add documentation on how to use MySQL instead of PostgreSQL.

Add documentation on how to use MySQL instead of PostgreSQL. #647