first draft of Floyd-Warshall, uses too much memory right now
getting rid of warnings
adding some small test cases; now delivers correct result, turned out we don't need to keep track of all the k's