Add mapping classes for instrumentation.

tools.descartes.prisma.parameterization/plugin.xml

.../tools/descartes/prisma/parameterization/Application.java

...arameterization/InputSpecificationDerivationStrategy.java

...ion/src/tools/descartes/prisma/parameterization/Main.java

...tools/descartes/prisma/parameterization/MappingModel.java

...scartes/prisma/parameterization/ParameterizationUtil.java

...ameterization/SystemInterfaceInstrumentationStrategy.java