Ascii85 encode or decode FILE, or standard input, to standard output.