Add a --seed to explicitly initialise $RANDOM

Every tree should grow from a seed ... and bash's $RANDOM can be seeded by assigning a value to it explicitly.

This merge adds an option -s,--seed whose value is directly assigned to $RANDOM