Created a simple shell script to find duplicate titles in the relax user manual.
This is important for the HTML version of the manual as duplicated titles causes HTML pages to be
overwritten. For example all chapters, sections and subsections titled "Introduction" will load the
introduction.html file which will contain the text of the last section with that title!
