Update re.install

"re_pcre.cmi" listed 2 times
Merge pull request #591 from blue-prawn/master

"re_pcre.cmi" listed 2 times
only one-line description
Merge pull request #593 from claudemarche/master

fixed description of why3 0.81