added minocaml3
added minocaml7
added minocaml6
added minocaml5