Add souper-check tool

This tool is based on souperweb-backend.cpp, but it's meant to be run from the command line.
I followed the syntax from other tests in ```test/Tool```, e.g., ```test/Solver/expected.ll``` and thought that ```true``` is necessary to proceed to the ```FileCheck``` test if ```%souper ...``` fails.