Adding a new imc message manually

First of all you need to check the current master imc message number, after that create a new branch. Then you will need to open the IMC.xml and edit the file on the bottom adding a new message. To check if your message is correct, run:

ant

The build.xml will check if your insertion is correct. You will only need to run:

make

p.s: If your modified imc is ready to test, send your local imc folder to the dune build folder and run on your terminal this command:

make imc