Translation from SysML to ACSL contracts (part of code verification)

[MarcBehrens]

Verifying C- implementation/ C- functions with an automatic generated ACSL contract:

• Evaluate which information from the SysML model can be used to generate ACSL contracts
• Generate ACSL contacts from SysML (within Frama-C WP)
• Apply ACSL contract on code generated

related to #53

@vprevosto
@jensgerlach

[jensgerlach]

What we doing right now, is taking the XML description extracted by Siemens.
Thus, we are NOT starting at SysML but this is no problem.