Improving Util Timer rescheduling to try and avoid 64 bit divisions
misc script tweaks
Merge branch 'master' into streaming_file_api

Conflicts:
	scripts/check_size.sh