mysqldump should use max_statement_time=0 and/or allow setting one

If you have a global max_statement_time set, mysqldump might fail, as the dump takes longer. Unfortunately there is no way to specify a max_statement_time for mysqldump.

Solution would be:
a) use a session max_statement_time=0
b) add a --max-statement-time option to mysqldump to overwrite the default
c) allow to run an arbitrary query before the dump to eg. set session max_statement_time

Ralf