PML-based setting of Patmos build configuration

Since this CMake environment uses 2 alternative configurations for building a
program, depending whether it is run on the simulator or not, 2 .pml files
provide the configuration:

scripts/patmos-config-sim.pml: default/pasim configuration.
scripts/patmos-config-hw.pml: used if the target executable is built for the
emulator.
increased platin check factor