Added system/dev_local for mariadb into gitignore

Pierre Suchacek requested to merge mariaDB_local_gitignore into dev

Due the fact that we created the local mariadb we had to add the dev_local. This infects the gitignore modification.

Merge request reports