Entering numbers in edit place, batch and query

[Jiri Srba]

All fields for entering numbers should follow the same policy as it is for the constant dialog
(allow only numeric values to enter, including the empty string and allowing arrows up and down).

This should be fixed in the following places:

Edit place dialog: (two occurrences of numeric fields - number of tokens and invariant value)
Batch processing: (two occurrences of numeric fields - number of extra tokens and time in seconds)
Query dialog: (two occurences - number of extra tokens and the numeric value in the predicate)