Debian packaging: Add several new settings to /etc/default/openflow-switch.