Make ao-postflight create filenames using input filenames.

Instead of requiring the user to provide names for the various output
options, just create them from the input name by replacing the extension.

Signed-off-by: Keith Packard <keithp@keithp.com>