batOption: addition of default_delayed and map_default_delayed.

  val default_delayed : (unit -> 'a) -> 'a option -> 'a
  val map_default_delayed : ('a -> 'b) -> (unit -> 'b) -> 'a option -> 'b