* Lib/whrandom.py: if seed is (0,0,0), initialize from current

time; default seed's arguments to (0,0,0)