Added ignore property.  Added mli file for prover, will move to module soon. 
Added ignore property.  Added mli file for prover, will move to module soon. 

seplogic/jstar,MatkoBotincan/corestar-old,seplogic/jstar,septract/jstar-old,septract/jstar-old,seplogic/jstar