Very nice python script for reading input from files or stdin and returning output to file or stdout