[MEDIUM] config: automatically find unused IDs for proxies, servers and listeners

Until now it was required that every custom ID was above 1000 in order to
avoid conflicts. Now we have the list of all assigned IDs and can automatically
pick the first unused one. This means that it is perfectly possible to interleave
automatic IDs with persistent IDs and the parser will automatically allocate
unused values starting with 1.
diff --git a/src/proxy.c b/src/proxy.c
index c7b1f4d..fa6a197 100644
--- a/src/proxy.c
+++ b/src/proxy.c
@@ -39,7 +39,7 @@
 
 int listeners;	/* # of proxy listeners, set by cfgparse, unset by maintain_proxies */
 struct proxy *proxy  = NULL;	/* list of all existing proxies */
-int next_pxid = 1;		/* UUID assigned to next new proxy, 0 reserved */
+struct eb_root used_proxy_id = EB_ROOT;	/* list of proxy IDs in use */
 
 /*
  * This function returns a string containing a name describing capabilities to