[#2074] update manual with lib_mysqludf_preg instructions