Merge branch 'master' of git.ispconfig.org:ispconfig/ispconfig3

Till Brehm

2015-05-07 be531cf1d37d2293a572eef25d0190e23fc8a3b4

 install/lib/install.lib.php

@@ -86,6 +86,12 @@
         $mainver = array_filter($mainver);
         $mainver = current($mainver).'.'.next($mainver);
         switch ($mainver){
         case "15.04":
            $relname = "(Vivid Vervet)";
            break;
         case "14.10":
            $relname = "(Utopic Unicorn)";
            break;
         case "14.04":
            $relname = "(Trusty Tahr)";
            break;