[master] minor tweaks in documentaions before release

doc/guide/dhcp4-srv.xml

@@ -3433,7 +3433,7 @@ It is merely echoed by the server
       dynamic pool. Therefore it can skip the reservation checks when dealing
       with in-pool addresses, thus improving performance. Do not use this mode
       if any of your reservations use in-pool address. Caution is advised when
-      using this setting: Kea 1.1.0 does not sanity check the reservations against
+      using this setting: Kea does not sanity check the reservations against
       <command>reservation-mode</command> and misconfiguration may cause problems.
       </simpara></listitem>
 

doc/guide/dhcp6-srv.xml

@@ -2952,7 +2952,7 @@ should include options from the isc option space:
       dynamic pool. Therefore it can skip the reservation checks when dealing
       with in-pool addresses, thus improving performance. Do not use this mode
       if any of your reservations use in-pool address. Caution is advised when
-      using this setting. Kea 1.1.0 does not sanity check the reservations against
+      using this setting. Kea does not sanity check the reservations against
       <command>reservation-mode</command> and misconfiguration may cause problems.
       </simpara></listitem>
 

doc/guide/intro.xml

@@ -30,11 +30,10 @@
       <para>
         Kea is officially supported on Red Hat Enterprise Linux,
 	    CentOS, Fedora and FreeBSD systems. It is also likely to work on many
-	    other platforms: Kea 1.1.0 builds have been tested on (in no
+	    other platforms: Kea 1.3.0 builds have been tested on (in no
         particular order) Red Hat Enterprise Linux 6.4, Debian GNU/Linux 7,
-        Ubuntu 12.04, Ubuntu 14.04, Ubuntu 16.04, Fedora Linux 19,
-        Fedora 20, Fedora 22, CentOS Linux 7, NetBSD 6, FreeBSD 10.3,
-        OpenBSD 5.7, OpenBSD 6.0, OS X 10.10, OS X 10.11.
+        Ubuntu 12.04, Ubuntu 14.04, Ubuntu 16.04, Fedora 22, Fedora 25, CentOS Linux 7,
+        FreeBSD 11.0 OS X 10.11, OS X 10.12, Debian 7.11
       </para>
       <para>There are currently no plans to port Kea to Windows platforms.</para>
     </section>
@@ -165,6 +164,16 @@
 
           <listitem>
             <simpara>
+              <command>kea-ctrl-agent</command> &mdash;
+              Kea Control Agent (CA) is a daemon exposes a RESTful control
+              interface for managing Kea servers.
+            </simpara>
+          </listitem>
+            </simpara>
+          </listitem>
+
+          <listitem>
+            <simpara>
               <command>perfdhcp</command> &mdash;
               A DHCP benchmarking tool which simulates multiple clients to
               test both DHCPv4 and DHCPv6 server performance.