Whitespace cleanup in set.py.
Make server ticks less dependent on machine speed.

The timing was based on my personal machine's rates, which is...
dumb.  Make it based on time, but also keep ticks there for the
rare case when someone reverts the system clock accidentally so
that the entire server doesn't stall out.