Adding length counting to manual to summaries

Also on manual section summaries. The summary_length_counting.js is
copied from Whitehall.