Update build procedure for the binary distributions and add a placeholder for TOC to the manual
Merge remote branch 'origin/master'