rename mysql-workbench.rb

to mysqlworkbench.rb
per naming rules in CONTRIBUTING.md
following up on #2659