Menhir: Mingw fix
added bin_prot-111.03.00
added oasis-0.4.4
quick workaround for mingw
added core_kernel-111.11.00
added godi patches and applied