pc1001 upgrade to mariadb

Add wikimedia-mariadb.list to mysql_wmf on 12.04
Use the same known-to-work package setup as coredb

Change-Id: Id7256153333ff2d80aa7d6b93a774555518c5f4a