Tools later in the pipeline now require argument specifying
type of scan (= set of tests) which will be performed.

Names of tools were generalized and some names of output files were
changed, see updated docs.