#2 auto split large doc pages into multiple

[David Jones]

Some of the docs pages on the website are getting
pretty large, for example the dolphin-demo/tech page is
a couple of thousand lines long.

Modify the ant script to split up the complete file
into a series of linked chapters.

Include a link to the all-in-one html page for those
who prefer it.