added some time management functionalities. Now if we aint finished in 4:30s reem goes back to the referee
Merge pull request #326 from reem-utils/fix_sergi

added some time management functionalities. Now if we aint finished in 4...