Define the storage

Define the storage for the counter.
The storage is a simple integer that will be incremented by solutions that satisfy the predicate.

Add the following to the contract/src/contract.pnt file:

storage {
    counter: int,
}