Freezing the code for path indexing

The path indexing now works for most languages in the K tutorial. Stopping work on it for now, so that I can move to  a more general algorithm.