changed main so that it reads input from stdin and prints the translated C program to stdout; or blows up in a big way if the program cannot be read, for convenience of use as part of a Unix pipe