misc

RNG seeding:
- SeededRandom class for easier tracking of seeds to java.util.Random.
- Accept longs as Option types (useful for command-line random seeding).

Drive-by: a tomcat URL update and a few new methods to ListUtils.