Makefile improvement: run the documentation in parallel, for speed
