XDOCS: An Application to Index Historical Documents