Add some results for Alldiff.

I added the SAT results for 9x9 and 16x16 boards. Made a start on the
SMT results by adding the logic encoding for 9x9 boards.
Major changes to Alldiff presentation.

I have included lots of graphs for the experiments conducted so far.
Architectural drawings of the tool-chain were designed and type-set. More
explanations and a general reorganisation of the presentation have taken
place.
Make package changes for Tikz and Fullpage.