Dockerfiles to build a MariaDB 10.0 container for Dokku