Automatically validate manual SwIPCs against auto.id

[roblabla]

As shown by #25, there are a number of mistakes in the manually written IPC definition files. Thankfully, the automated process with which auto.id was generated means that we have something to check them against. As such, we should write a script that ensures the validity of all manual SwIPC files !

[misson20000]

This is a list of "lints" that I made working on SwIPC stuff a while ago:

• handle should have move/copy
• buffer size should match size of type
• buffer transfer type should be valid
• buffer should be correctly placed in "in" values or "out" values
• buffer size should not be zero

[roblabla]

We now have a verifier.py whose goal will be to do the linting. It runs in travis. It currently only checks for duplicate function names in interfaces (while taking versions into account).