[P4Testgen] Move p4tools.def to common/ir.def, introduce a hashing function for state and symbolic variables.

[P4Testgen] Move p4tools.def to common/ir.def, introduce a hashing function for state and symbolic variables. #2856