Updated README_MIP.txt on usage of the new solver interfaces
Updated README_MIP.txt on usage of the new solver interfaces

jjdekker/libminizinc,jjdekker/libminizinc,jjdekker/libminizinc,jjdekker/libminizinc