Added a patch for armadillo that won't pollute user registries/homes anymore
Merge pull request #180 from ChristianFrisson/armadillo-nocmakeconfigfiles

Added a patch for armadillo that won't pollute user registries/homes anymore