differentiator: main: actually add the '-Q' option to the getopt() invocation.
differentiator: main: fix mode of argument (optional) of '-S'.
differentiator: README.md: add a README and a rule to build an HTML version of it using pandoc.