Python libraries and utilities for General Game Playing (GGP)