Added a Kahn's topological sort implementation

[dmbaturin]

It's a simplified version of the implementation from https://opam.ocaml.org/packages/tsort/

As that project has grown to support sorting strongly connected components of cyclic graphs, it's much less "short and instructive" as it used to be, so a simple education version won't harm I suppose.