Move common useful tactics into src folder

more_fuel and mysimpl are functions that will likely be used in any proof that steps through execution in the michelson stack, so their definitions should not be placed in just the multisig folder. Moved both definitions to a more central folder and renamed mysimpl more appropriately to describe the instruction simplification that it does.