Merging v4 of master branch to evaulation branch

Version after merging changes and bug fixes from master branch to the evaluation branch.

Warning: This version is not fully tested yet, it just tag the latest code when all changes and bug fixes of v4 in the master branch had been merged to the newest evaluation code, testing needed to be done later before the actual evaluation code can be released.

Supporting tools version:

Camflow: v0.4.3 (dnf 0.7.4-1)
Camflow: v0.4.5 (dnf 0.7.6-1)
OPUS: v0.1.0.26 (For Unix)
SPADE: v2.0 (git tag tc-e3)

Remark:
with non-determinism support
with self-evaluation support
New starting script
With graph filtering mechanism
Not testing after merging