Add better time management

[thomasahle]

Since the xboard code is not trying to be small in the same way as the main module, we might as well add a few lines for trying to figure out how many nodes to search.

[thomasahle]

It's a little more advanced now, in the uci.py module, but it could still be better.