Create a single PDF for the complete documentation
Create a single PDF for the complete documentation

This should fix #3473.

* Overriden some default usepackage declarations with a custom preample to
  support Unicode characters.
* Changed to the 'manual' document class.
* Changed font to Latin Modern (more readable in print).
* Font size customizations for heading and captions.
* Nice headers and footers.
* Links with numeric references and URLs in footer.
* Nice cover page with logo.

kojiromike/Idris-dev,bravit/Idris-dev,bravit/Idris-dev,Heather/Idris-dev,ben-schulz/Idris-dev,kojiromike/Idris-dev,markuspf/Idris-dev,jmitchell/Idris-dev,kojiromike/Idris-dev,eklavya/Idris-dev,ben-schulz/Idris-dev,mpkh/Idris-dev,markuspf/Idris-dev,markuspf/Idris-dev,eklavya/Idris-dev,ben-schulz/Idris-dev,bravit/Idris-dev,Heather/Idris-dev,jmitchell/Idris-dev,mpkh/Idris-dev,markuspf/Idris-dev,ben-schulz/Idris-dev,jmitchell/Idris-dev,markuspf/Idris-dev,eklavya/Idris-dev,bravit/Idris-dev,jmitchell/Idris-dev,FranklinChen/Idris-dev,eklavya/Idris-dev,Heather/Idris-dev,Heather/Idris-dev,jmitchell/Idris-dev,Heather/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,uuhan/Idris-dev,FranklinChen/Idris-dev,uuhan/Idris-dev,ben-schulz/Idris-dev,eklavya/Idris-dev,uuhan/Idris-dev,markuspf/Idris-dev,FranklinChen/Idris-dev,mpkh/Idris-dev,bravit/Idris-dev,uuhan/Idris-dev,FranklinChen/Idris-dev,uuhan/Idris-dev,mpkh/Idris-dev,kojiromike/Idris-dev,markuspf/Idris-dev,eklavya/Idris-dev,FranklinChen/Idris-dev,jmitchell/Idris-dev,uuhan/Idris-dev,mpkh/Idris-dev,Heather/Idris-dev,bravit/Idris-dev,mpkh/Idris-dev,ben-schulz/Idris-dev,uuhan/Idris-dev,FranklinChen/Idris-dev