dev_tools: more details on acme
Merge pull request #173 from raphael-proust/master

dev_tools: more details on acme
Require rss version to be at least 2.2.2

rss (>= 2.2.2) has better whitespace management.  In particular, it
preserves newlines in posts.
Fix https://github.com/ocaml/ocaml.org/issues/161
Also record removals when publishing the web site.
Option to make the build stop on error.

This is the default for the "publish" target so that any error in
bindings will result in the site not being published to the world.
Temporary fix for Netdate ("AUg" instead of "Aug").