Update on invariants

src/frompipe/InvariantAnalysis.java

src/frompipe/Matrix.java

src/myutil/IntLine.java

src/myutil/IntMatrix.java

src/ui/Invariant.java

src/ui/window/JDialogInvariantAnalysis.java