Add the command line options to the generated stylesheet.

This way we can document how to re generate specific stylesheets
with exactly the same options as before.