get_proper_name: add a few psrs; add stdin mode
Add file-indexing scripts