Linux Mint support

This patch allows DevStack installation on Linux Mint. Installations
on Linux Mint previously failed since its distribution ID did not
match any of the package installation methods and defaulted to using
rpm packages. Linux Mint is a Ubuntu derivative and such does not have
native support for rpm packages.

This change adds "LinuxMint" to the distribution matching options along
with Debian and Ubuntu.

Change-Id: Ice6a201cabe07373a9c1354699777835addeac53
Fixes: bug #1166422
diff --git a/functions b/functions
index 445af5f..9fdc391 100644
--- a/functions
+++ b/functions
@@ -299,7 +299,7 @@
         os_RELEASE=$(lsb_release -r -s)
         os_UPDATE=""
         os_PACKAGE="rpm"
-        if [[ "Debian,Ubuntu" =~ $os_VENDOR ]]; then
+        if [[ "Debian,Ubuntu,LinuxMint" =~ $os_VENDOR ]]; then
             os_PACKAGE="deb"
         elif [[ "SUSE LINUX" =~ $os_VENDOR ]]; then
             lsb_release -d -s | grep -q openSUSE