[MonetDB-users] More timing information in MonetDB/XQuery