Automate documentation generation

We add a Makefile and a configuration file to automate the generation of
README.pdf with pandoc.

Also, update the .gitignore accordingly.

Signed-off-by: Vincent Stehlé <vincent.stehle@arm.com>