Merge mysql files for dev and package builds`

This pull request merges the mysql and mysql_1.0.sql files into one, so that the debian packaging scripts and dev-helper both use the same mysql dump, rather than maintaining 2 dumps.