[Eva] Moves the signature from state_partitioning into trace_partitioning.

Removes state_partitioning.mli.
Since there is only one implementation of state_partitioning signature, there is
no need to keep this separate file.