test(lp): add a test script (not finished yet) and improve mps_reader

Signed-off-by: Lev Nachmanson <levnach@microsoft.com>