Minor Fix + Whitespace
Remove abstraction layer over Lwt

The increase (resp. decrease) in complexity (resp. clarity) was not
worth the trouble.
Handle PREFIX option in RA
More accurate computation of Reachable Time