MariaDB support
MariaDB Cluster support
Check the name of the mysql init script before trying to start it
Updated init script
Update NEWS file
Updated documentation
Merge branch 'feature/support-MariaDB' into devel