How to install MariaDb instead of MySQL Server on Debian 8.5