Added script 'tools/develop.sh' to compile the aggregator against the nightlies (or any other Bob installation).