Add souper-check tool

This tool is based on souperweb-backend.cpp, but it's meant to be run from the command line.
In other words, I should remove the ```|| true``` to make sure that the test case fails if ```souper-check``` returns an exit code other than ```0```, right?