Compositional security certification methodology

Summary
The output is a report that summarises the choices of the options outlined in D1.1 that certMILS has made.