Plutus Core builtin for modular exponentiation

[zliu41]

We need to add the modular exponentiation primitive (CIP-0109) as a built-in function in Plutus Core. This should be a fairly straightforward process once we have identified a suitable library function. Note that the library function must be compatible with GHC 8.10 until we drop support for that.