Update MySQL.sql
Merge pull request #1 from webot/master

Update MySQL.sql