search.c: minor debug help
index.py: move from docIDs to integer represenatation of filename. so postfile ids == filename.

this change assumes filename also are numbers.