Add command line argument for shorter warning output

[amit-davidson]

Enhancement

At the moment, a lengthy description of all the possible race conditions is printed. It includes all the race conditions pairs and the stack trace of that flow. This might be too long and too complicated.
A new command-line argument called --short should be added that will allow displaying less information. It should include:

• The total amount of possible race conditions

• The variables themselves (same as in the more lengthy version)

• Path to the variable (without including the stacktrace)