Text file line filter (script)

A script suitable for FSI that copies a (UTF-8) text file throwing away uninteresting lines in the process.