Added attributes, update_counter() on names, gproc_pool
Merge branch 'master' of github.com:uwiger/gproc

Conflicts:
	doc/edoc-info
	doc/gproc.md
	doc/gproc_dist.md
	doc/gproc_lib.md