Create testsuite for s2e-env

[vitalych]

trafficstars

[adrianherrera]

The infrastructure is now in place to do this!

Currently there are tests for Linux projects, Windows executable and driver projects, CGC projects, and ELF static analysis.

Tests still to write:

• [x] Windows DLL project
• [ ] INF parser
• [x] PE static analysis
• [ ] Execution traces (and the analyzer)
• [ ] Code coverage
• [ ] All the other commands