Kanungo noise model

 Adds Kanungo noisification of a Point predicate (for tests around IntegralInvariants).

This class takes a point predicate and a domain and construct an explicit point predicate as a noisy version of the input one.