On the effective and automatic enumeration of polynomial permutation classes. (September 2016)