Merge two option lists. Merged is a sorted list of options using
the canonical format Name(Value) holding all options from New
and Old, after removing conflicting options from Old.
Multi-values options (e.g., proxy(Host, Port)) are allowed,
where both option-name and arity define the identity of the
option.