Merge branches 'doc.2015.07.14b' and 'torture.2015.07.14b' into HEAD

doc.2015.07.14b: Documentation updates.
torture.2015.07.14b: Torture-test updates.