HTCondor 8.0.1

Michael,

I believe this should be good enough to consider for an 8.0.1 upload. Let me know if you need anything.

- Brian