Remove option name::separator, it can't be configured during runtime

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Remove option name::separator, it can't be configured during runtime