GSoC final results

This is the pull request of my results of the Google Summer of Code 2013.
The main results are Subsumption, Recursive Split and Pebbling algorithms.
Besides that small changes in other classes are made.
For example the proof class got a new constructor, to use a specific topological order for constructing the indexed node set.