Version 1.5.14 PUBLISHED, doc updated 30-Oct-2013 10:59
Merge https://github.com/lwt-project/lwt