updated document version number prior to release

@demarle please check that a tag transferred to head. I did the following on my branch: git tag -a "v1.0_1.2" -m "spec v1.0 doc version 1.2"

Please match that on the master