Implementation of InductiveGraph based on Erwig's paper

Here's a purely functional implementation of the graph from [Erwig's paper](http://web.engr.oregonstate.edu/~erwig/papers/InductiveGraphs_JFP01.pdf). 

Also added a link to the source in the README file.