Fix for time_limit, addition of araider tool in eval, and araider source code