Updated makefiles and .gitignore to take into account that the man page needs to be gzipped before it's installed