Example RIPE whois query with options and spaces.

Since it is used in the example, mention the -- option in the synopsis
even though it is a universal standard, and tweak to fit it on one line.