[cvs-nhc98] patch applied (hat): Rename HatExplore.hs to HatTrail.hs.