Sort jobs according to their priority.
Sort jobs according to their priority.

	* src/scheduler/scheduler.cc (execute_round): Sort jobs according
	to their priority.

aldebaran/libport,aldebaran/libport,aldebaran/libport,aldebaran/libport,aldebaran/libport