Specify in greater detail what we want to ignore in the documentation folder.
Added a Makefile target to more easily build the documentation.

There's no need for this not to be here since it's a very common
operation when retrieving new dependencies. In fact, it's the first
thing I did.