DSA-3809-1 mariadb-10.0 -- security update

Several issues have been discovered in the MariaDB database server. The
vulnerabilities are addressed by upgrading MariaDB to the new upstream
version 10.0.30. Please see the MariaDB 10.0 Release Notes for further
details: