final version of pregel-shortest-path.spec
added brouvka spec