Adding timestamp to SDK dump
Merge branch 'master' of https://github.com/RhobanProject/Edu
COmpilation fix (includes)
fix typo