Added Info data structure.
Merge branch 'master' of github.com:stefanhepp/patmos-otawa
patmos_wcet: added fetch edges customization.
Merge branch 'master' of github.com:stefanhepp/patmos-otawa

Conflicts:
	otawa-patmos/patmos.cpp
Merge branch 'master' of github.com:stefanhepp/patmos-otawa