Fix Docker Issues about fuzzball

[tanabi]

I've started implementing this as first checking local files and then 'global' or system files which corrects the problem Skyler mentioned. I'll also need to remove the extra prochelp call from Dockerfile.

The first step here was to figure out how to inject the path specified in configure to the compile process, which I have done as the define FBMUCK_GLOBAL_DATA_PATH. I will work on implementing the logic here.

[tanabi]

I've done all the C work needed for this, and I've modified the dockerfile, but I wanna test it before I commit. And I'm pooped, so I'll test it tomorrow :)

[tanabi]

Wanted to put the release notes for this here, as they are important to anyone that cares about this issue!

Does a couple things:

• Makes the global installed documentation directory made by 'configure' a search location for help/man/mpi files
• Changes Docker to remove some unnecessary doc build steps and makes it so when Docker sets up a new MUCK, it deletes the help/man/mpi files in the 'data' directory so these files will feed off the global installed location. This means, when you update your container, your documentation will also get updated.

As a caveat, anyone using Fuzzball and Docker will need to manually remove the help/man/mpi files from their data volumn in order to take advantage of this fix. For the reasons of flexibility, I do not delete these files from existing volumes, just newly configured ones.