C To Promela tool

To build this the Dominance and StaticSlicing must be installed to the rose-installdirectory
