rest: improve --output, add documentation for --repeat-headers
param: ignore leading double-slash in names passed to x265_param_parse

It might be ambiguous to API users whether these are required, looking at our
documentation, so ignore them if they do.