How to use JHipster with MariaDB

This tip has been removed, as MariaDB has been added to the generator since this pull request #3600, so you don't need to do any specific configuration anymore!