Autoupdate documentation with coqdoc to 5ed2008

Generated with `make html` on commit:

commit 5ed2008762e78f24905c9f2005ef4c3e95dfde88
Author: Jason Gross <jgross@mit.edu>
Date:   Mon Sep 16 02:31:11 2013 -0400

    Mention transport_compose