Enable check in more tests

alt-ergo and run why3 config detect

and provide path to psnj to tests

Lock file not used in ci because it conflicts with the compiler matrix

appaxiom, autosolve, dopth and chainprops are accessed by
psnj CMD instead of a binary psnj-CMD