mark release 120715
version 1.0.0
version 1.1.0
include version number in manual
mark pools as experimental in the docs
version 1.2.0
Merge branch 'master' into release

Last-second manual fix.
fix version number so that we actually call ourselves v1.2.0
and fix version number in manual

Comedy of errors.
Merge branch 'master' into release
manual version 1.3
version 1.3.1
version 1.3.2
version 1.3.3
v1.3.4
support Bitrig
cleanup based on comments from martine
ugh, missing #
Exclude Windows as well
Adding error checking on fwrite/fflush in deps_log