fix new timer functionality also for queries that run longer than 35 minutes
fix new timer functionality also for queries that run longer than 35 minutes

Casting microseconds from 63 bit (64 bit signed) to 31 bit (32 bit signed)
will overflow for values that represent times larger than 35.79 minutes.
Hence, as with the old time code, we only cast to long (which is 32 bit on
many 32 bit systems) only once we have casted microseconds to milliseconds
(devision by 1000) --- then, the overflow only occurs for values that
represent times larger than 24.85 days --- we hope that not single query
will run that long ...

The cast to long is merely used for convenience to use formatting strings
like "%7ld.%03ldms" without having to care about portability.

zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb