Execution resource ops add subtract

[0xNonCents]

The ExecutionResource struct ought to have same functionalities it has in the python vm. They are used in StarkNet
https://github.com/starkware-libs/cairo-lang/blob/master/src/starkware/cairo/lang/vm/cairo_pie.py#L123

#767
Added two unit tests for each added op.

I do not believe documentation needs to be updated

[Oppen]

Hello @0xNonCents, congrats on your first contribution! 🎉
This looks good. Is there any way to add a Cairo program that triggers this code as integration test?

Re: documentation: I'm on the fence about whether these APIs need it. Particularly, about whether or not I find the behavior obvious enough.

[Jrigada]

Hey! Thanks for your contribution, there are some small clippy changes required!

[mmsc2]

Hello @0xNonCents nice one!. The only thing i would mention is that i added filter_unused_builtins function to have it all in the same PR, besides that it looks good.