[apparmor] [PATCH 0/4] Create new strict D-Bus abstractions

[Tyler Hicks]

Now that we have a fix for the DFA minimization bug (LP: #1262938), I think it
may be a good idea to introduce a set of strict D-Bus abstractions that are
reused by the existing, permissive abstractions. I've manually verified that
DFA minimization happens and patch #4 in this set adds an equality test.

Note that these patches build on the patches in this thread:

  https://lists.ubuntu.com/archives/apparmor/2013-December/004852.html

Tyler