Changes list priority from int to double.

This allows an easy implementation of something like A* in work queue,
while preserving the old int behaviour.
Merge pull request #559 from btovar/priority_double

Changes list priority from int to double.