Run make -f Makefile.doc in CircleCI to test that man pages are updated
in PRs.
Signed-off-by: Ben Kochie <superq@gmail.com>