Server's run time should return as float64 rather than int

[alonre24]

In the object that represents the query result, there is a statistics section (a map), and one of its field is the execution run time. This should be a float rather than int (currently it returns zero for short run time of less than 0.5 ms.)

[filipecosta90]

Fixed by #40