PROHIST : An Environment for Image Processing of Historical Documents