rename mysql-workbench.rb

to mysqlworkbench.rb
per naming rules in CONTRIBUTING.md
Merge pull request #3031 from rolandwalker/rename_mysql-workbench

rename mysql-workbench.rb