Graph: Add method to compute the loop tree of a graph

[emmanuel099]

• This is useful to get an overview of all the loops in a program
• I use it in my bounded model checker for loop unwindig (start at the leafs and move towards root).