install reins.cmi (Closes #1755)
Merge pull request #1767 from camlunity/master

install reins.cmi (Closes #1755)