MirageOS bug cleaning day: Friday, 17th November 2017

[dinosaure]

I just completed some missed issues about ocaml-git . Happy to see that mirage move on!