generate_opams.rb with the list of new names