Some minor editing here and there
Merge branch 'master' of github.com:glipari/rtscan

Conflicts:
	driver/ppl/distributed.cpp
	driver/ppl/ppl_utils.cpp