(src/bin/pyconfd): set type of port to integer for '--etcd-port'