ocp-indent
Update .jenkins.sh
Jenkins: build_doc.
jenkins.sh: fix doc generation.
Merge pull request #40 from dinosaure/ocp-indent

ocp-indent
Merge branch 'master' into 3.0.0-cohttp

Conflicts:
	src/extensions/cgimod.ml
	src/extensions/ocsigen_comet.ml
	src/extensions/ocsipersist-dbm/ocsipersist.ml
	src/extensions/redirectmod.ml
	src/extensions/revproxy.ml
	src/extensions/staticmod.ml
	src/http/http_headers.ml
	src/http/ocsigen_cookies.mli
	src/http/ocsigen_http_com.ml
	src/http/ocsigen_http_frame.ml
	src/http/ocsigen_senders.ml
	src/server/ocsigen_extensions.ml
	src/server/ocsigen_extensions.mli
	src/server/ocsigen_http_client.ml
	src/server/ocsigen_http_client.mli
	src/server/ocsigen_local_files.ml
	src/server/ocsigen_parseconfig.ml
	src/server/ocsigen_parseconfig.mli
	src/server/ocsigen_range.ml
	src/server/ocsigen_server.ml