Added System.getenv to system.mli, making jstar compile again.
Added System.getenv to system.mli, making jstar compile again.

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