Add MySQL repo, fixes #7.