Ferrari Release 1.0

This release represents the first version of the reachability index. This code contains a small bugfix and otherwise corresponds to the version used for the experimental evaluation in the ICDE'13 paper.