search.py: read queries from a given file.