Add tools/m3-extract-constraints (currently untested)