Initial commit
Adding the contrats examples and the threadagent examples.
Merge branch 'examendc1-eiffelavance-master'