Fix bugs in grouping and sorting functions with distances
Fix UI issues in Web crawler, update PDFBOX to 1.8.4
Merge pull request #419 from emmanuel-keller/master

Fix bugs in grouping and sorting functions with distances