Fix a bug in adding constraint names to NonlinearProgram. Add more logics to setSolver so now it accepts 'default'