Update woosh indexing script: Better handle specifying mime types to index. Add performance options for writer.