Add README (and dir) for testing MSAT

This outlines the content of our (@andreww and @jwookey) 
proposed contribution, which will show how previously
published results can be used to test software.