Added EllipticCurveConsumingAlgorithmInstance to Model.qll

This commit adds EllipticCurveConsumingAlgorithmInstance to the shared
model, allowing us to model and graph elliptic curve algorithms.

Author: fegge