Update contributed man page file names and compilation script

... for the eventual possibility of non-man1 man pages (hopefully a `Dockerfile.5.md`, for example)

/cc @ipbabble