fixes #6145 - add pulp proxy to host form

I assume this block is was deleted because it was moved to 'redhat_extensions.rb'.  If that is the case, git mv might have been nicer to retain history.  Also, if this file is now empty, I assume it can be removed.