wip-heapster changes to Prelude to fix saw-core-coq's make (#179)

* squashed LRT changes from wip-heapster

* squashed added comparison propositions for Nat and WithProof vector operations from wip-heapster

* add bvSBorrow to Prelude

* added a List datatype

* regenerated Coq sources

Co-authored-by: Eddy Westbrook <[email protected]>

Author: m-yac