WebLech - a tool for downloading the web