Make sure configurations do not have name clashes

[Franck Cassez]

In the current version, we can have two solvers with the same name in the config file.

This can lead to problems when we create a solver using the name.

Check the config is a name is used more than once and abort.