haproxy.py: copyright header is added.