Add souper-check tool

This tool is based on souperweb-backend.cpp, but it's meant to be run from the command line.
Use ```MB.getBufferIdentifier()``` instead of ```"<input>"``` to get the name of the buffer/file.