Documentation of option.mli
new module PriorityQueue
add tests and documentations