Fixes #7741: Include smart proxy if Pulp is installed.
Merge pull request #24 from ehelms/fixes-7741

Fixes #7741: Include smart proxy if Pulp is installed.