[MIN] cleanups
[MIN] Fixed logging output
[MIN] GUI: font size of search bar; comments updated
[FIX] #721: Wrong internal renumbering of ft:mark results
[FIX] XQuery: duplicate insertion of attributes with xml prefix
[FIX] XQuery, format-number: handle negative values with prefixes
[FIX] XQuery, format-number: chop fractional part
[FIX] XQuery, format-number: test fixed
[FIX] XQuery: correct handling of (unsupported) namespace axis