GDB library + test + interactive support + plugin

Looks like we can review everything at once.

This PR includes what was in the first one,  the Avocado GDB library and its accompanying test, plus the interactive support (user level).