Add an option to check all static contracts instead of following requirements

Before, the check static contracts handler & the atsyra builder checked all static contracts. Now, the contract validation only checks contracts that are in some requirement.

In Eclipse, we may want to revert the builder to check for all static contracts, and to have two menus for checking contracts, either all or from requirements.