Short script to search a file and dump contents to another file.