05_levels.ipynb: Describe properties, compute, test

Adds a section describing properties of topological levels with respect
to their use as reachability labels.

Define `find_labels()` function to compute backward topological levels
in the given DAG, and test it using a few of example graphs.

Author: jnareb