Now the user can choose a configuration file different from the default one (omnetpp.ini).