add depexts for plasma
restrict plasma to ocaml <4.02.0 due to warnings-as-errors
further restrict plasma to ocaml <4.01.0 due to more warnings-as-errors
Merge pull request #3252 from avsm/plasma-depexts

add depexts for plasma