Include the function ps_is_instrument_default_timed() in MySQL 5.6 and 5.7

Author: JesperWisborgKrogh

sys_56.sql

@@ -23,6 +23,7 @@ SOURCE ./functions/format_statement.sql
 SOURCE ./functions/format_time.sql
 SOURCE ./functions/ps_is_account_enabled.sql
 SOURCE ./functions/ps_is_instrument_default_enabled.sql
+SOURCE ./functions/ps_is_instrument_default_timed.sql
 SOURCE ./functions/ps_thread_stack.sql
 
 SOURCE ./procedures/create_synonym_db.sql

sys_57.sql

@@ -23,6 +23,7 @@ SOURCE ./functions/format_statement.sql
 SOURCE ./functions/format_time.sql
 SOURCE ./functions/ps_is_account_enabled.sql
 SOURCE ./functions/ps_is_instrument_default_enabled.sql
+SOURCE ./functions/ps_is_instrument_default_timed.sql
 SOURCE ./functions/ps_thread_stack.sql
 
 SOURCE ./procedures/create_synonym_db.sql