Add variable for MariaDB dist

No specific dist release of MariaDB exists for Ubuntu 14.10 Utopic yet
so we'll introduce a variable set to Trusty by default for now.