Mysql dependendees fixes

Merged Richard Bachmann requested to merge Mysql_dependendees_fixes into master


  • CORAL missing mysql include path
  • Removed Mysql-python package, as it is not compatible with mariadb anymore, unmaintained and non-python3
    • mysql-connector-python has been added as replacement
  • Pytools has been updated and mysql dependency was removed
  • zeromq recipe was reverted to let go_zmq4 find it correctly

Merge request reports