ADDED: timeout and deadline options to thread_send_message
Updated syspred_options.pl to reflect new thread_send_message/3.