renamed some properties in Giraph. Better toString() representation of a traversal. Random other tweaks.