Core: better pretty-print for OptionList when the list is of non-strings

Options.py

@@ -292,7 +292,7 @@ class OptionList(Option):
         return cls.from_text(str(data))
 
     def get_option_name(self, value):
-        return ", ".join(value)
+        return ", ".join(map(str, value))
 
     def __contains__(self, item):
         return item in self.value