`imandra-prelude` vendoring duplication fix, Fixes #179 #180

Closed hesterjeng closed 2 years ago