Modify the internals of eventual tasks

Now, eventual tasks use priorities similarly to definite tasks, and have
a constant time until due.

Ref #17
Improve the EventualTask string format

Ref #17