Document -ppx option.