Update MariaDB to 10.0.25
Update MariaDB to 10.0.25

MD5 taken from site.

[Multiple stable releases exist for MariaDB;](https://downloads.mariadb.org/mariadb/+releases/)
Update taken from 10.0 series.
rmyorston/scoop,bpollack/scoop,nueko/scoop,toxeus/scoop,rodericktech/scoop,rasa/scoop,saildata/scoop,reelsense/scoop,moigagoo/scoop,lukesampson/scoop,yunspace/scoop,berwyn/scoop,Congee/scoop,coonce/scoop,Cyianor/scoop,r15ch13/scoop,vinaynambiar/lukesampson-,nikolasd/scoop,systemexitzero/scoop,kodybrown/scoop,vidarkongsli/scoop