DRBD: change port label if it is used for proxy
DRBD: remove warning abount unsupported DRBD proxy
DRBD: change how the proxy panels are displayed
rename set that holds used ports
DRBD: add proxy default ports
DRBD: make proxy sections able to be enabled and disabled
DRBD: default plugin info in case proxy is not installed