Updating default redhawk time limit.
Add redhawk timelimit parameter.
Fix for time_limit, addition of araider tool in eval, and araider source code
Merge remote-tracking branch 'origin' into dev

Conflicts:
	redhawk.py