camlp5 is compatible with 4.01.x

camlp5 should be marked compatible with anything less than 4.02.0 to account for all 4.01.x including development revisions.
camlp5's claim to support 4.01.0 was wrong; 4.00.x is max
Merge pull request #789 from dsheets/patch-1

camlp5 is compatible with 4.01.x