Installing MIP

Do Installing korebot and Installing boost_serialization.
You need the latest cmake (www.cmake.org).

In the MIP root execute:

$ cmake -DMIP_PLATFORM=ARM -DMIP_LINKING=STAT .
$ make