Merge pull request #701 from mirage/master

fix atdgen 1.2.3 (again)
Merge pull request #703 from mirage/master

cohttp and github updates
cohttp.0.9.7: cstruct dependency (not strictly needed, but in the _oasis file by mistake)

closes #704