Updated LP jenkins URL, Meka & Project RED poll changed to dev, MobiusCo...

...re & SMT regex fix