opera-beta & opera-developer: update download links
mysql-workbench: fix issues with glib2 2.42.0

https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=763356#56