framework: /*@ tested-error */ command added
This command explicit which errors are tested in the test file. Other modifications:
- Correct SYNCHRONe tests error IDs (C.2.1, GEN.2.2, GEN.3.2)
- Add description for MISRA R.8 test
- Remove dependencies from requirements.txt
- rename testcase_end command to testcase-end