more documentation
seperated pregel algorithms from examples from specs