Windows: switch OCaml to 4.08.1 - remove manual flexlink circular dependency handling - use standard configure process instead of hand made windows make files - enable parallel build - remove bootstrapping step (maybe should be there for release builds)
Windows: switch OCaml to 4.08.1
- remove manual flexlink circular dependency handling
- use standard configure process instead of hand made windows make files
- enable parallel build
- remove bootstrapping step (maybe should be there for release builds)

gares/coq,coq/coq,gares/coq,Matafou/coq,gares/coq,ejgallego/coq,Matafou/coq,coq/coq,JasonGross/coq,Zimmi48/coq,ejgallego/coq,JasonGross/coq,SkySkimmer/coq,silene/coq,SkySkimmer/coq,coq/coq,JasonGross/coq,gares/coq,SkySkimmer/coq,Zimmi48/coq,silene/coq,ejgallego/coq,SkySkimmer/coq,Zimmi48/coq,ejgallego/coq,Matafou/coq,gares/coq,JasonGross/coq,Zimmi48/coq,coq/coq,silene/coq