Change Mapping into a wrapper class

We split definition of Mapping into separate file.
We also change Mapping from std::vector<*> into
class wrapping std::vector<*>. This is prerequisite
for future specialized fast implementation of Mapping
for Z4 and Z2_2.