Merge pull request Ericsson#2492 from gyorb/skip-xclang-rel

some specific Xclang arguments modify the output

Merge pull request Ericsson#2381 from dkrupp/doc-fix

Description of incremental analysis using skipfile

Merge pull request Ericsson#2222 from bruntib/fix_z3

Switching z3 refutation on by default.

Merge pull request Ericsson#2062 from bruntib/clang_skip

The skipped flags are skipped in case of Clang too

Merge pull request Ericsson#1918 from Ericsson/revert-1885-add_macro_…

…exapansions

Revert "Enabling expand-macros feature of clang"

Merge pull request Ericsson#1808 from csordasmarton/fix-sql-query

Fix SQL query

Merge pull request Ericsson#1742 from csordasmarton/fix-cmd

Fix non existing attribute in command line

Merge pull request Ericsson#1633 from gyorb/dev-loglevel

fine tune log levels and db status logging

Merge pull request Ericsson#1588 from dkrupp/improve_howto

Adding static HTML output generation to the HOWTO.

Merge pull request Ericsson#1479 from gyorb/dev-finetune-stats

statistics ratio should be between the threshold and 1