Update build procedure for the binary distributions and add a plaeholder for TOC to the manual