num_translation_options = 0 means no limit (also, bugfix in setting options in phrase-based decoder)