Remove unnecessary trait bounds in Mapping implementation

Added padded_iter to the Python interface, to deal with Fenics quirks

(0) -2 +2 tip

mercurial