log src/http.sig

age author description
2009-06-28 Adam Chlipala Move http protocol into its own file