Mariadb.org repos

As the OurDelta site now states:

> Security Notice
> While the information on this site currently remains available for reference purposes, you are strongly recommended to use at least the latest MariaDB release in your series. You can download packages and set up repos from  http://downloads.mariadb.org/. For more information see the summary post MariaDB Security Updates or ask Open Query.

I have changed the repos to the official mariadb.org repos. This happens in the first commit, f67af94. Then I went ahead and ran puppet-lint on it and cleaned up the formatting quite a bit in 91c74c9. 161f679 just changes the name of maria::aptrepo to maria::aptrepository, for consistency with maria::yumrepository, and lastly I added maria::mytop to get the latest MariaDB enhanced mytop, and ensure that the mytop package is not installed, in 0327731.

I would like to make it even smarter and able to work on all the distros the MariaDB repo configurator supports, and split everything out into autoload module layout, but that's outside the scope of this pull request.