Added state to the prover and extended the UI with a few options:
    + Add/Remove resources to/from the environment
    + Load state from file
    + Print state
    + Enable/Disable debug mode
    + Reset state

The code is still quite disorganized. I will clean it later.