[Champmodel] DP Weekly report

[baratharon at caesar.elte.hu]

This week:
     - Reintegration started into current version (repo/dev).
     - Some improvements added.
     - Backward search completed.

Next week:
     - Continue the reintegration (atm probably not buildable).
     - Fixing a problem: all functions are connected directly, but it  
is not necessary in the final graph (needed by the algorithm, but have  
to be removed).

Memo:
     - 'for' statement still missing.