Update to HTCondor 7.8.8

Michael,

Here's the pull request for the update to 7.8.8. Let me know if there's anything you need!

Thanks,
Brian