added cli_set_process_title (builtin function for PHP5.5+)