Really mariadb

debian/mariadb-server-5.5.README.Debian was too old and pseudo mysql rather than mariadb