terminfo: add python depext
Merge pull request #2262 from mirage/termbox-depext

terminfo: add python depext
lablgl: depend on camlp4, closes 2261
Merge pull request #2264 from mirage/lablgl-camlp4

lablgl: depend on camlp4, closes 2261
Add coinst tool suite.
Remove spurious quotes around make variable.
Removed spurious quotes around make variable
Removed spurious quotes around make variable
Minor change in coinst description.