Added proxy support, scripts for building indices.
Edited scripts
rankmap.py: associates word with rank-sorted URLs
remap.py: builds index
dumpfeatureset.py: stored FEATURE_COLs to Python shelve