Allow numerical priorities, say 0-100, and allow sorting on the sprint board by priority.

This will allow the developers to manage their tasks better, and focus on those with highest priorities, which would be especially useful if a sprint is running behind!