Adding support for forbidden predicates.

[kruegers]

Whenever such a predicate is ensured SAST reports it as an error. One can supply forbidden predicates through the forbPreds command-line option. The option takes a txt file that specifies one forbidden predicate per line.

This feature has been developed in the context of this master thesis.

Let me know if there is something I should fix or change. I have also purposefully not updated the version number to discuss this matter with you first. Which version should I push SAST to for this feature? Should I change the version number at all? Thanks.

[AnakinRaW]

About the version numbers: No need to increase. Once all the PR currently open are merged, i'll increase it separately.