Tags: VargMon/binexport

Sync with internal codebase

Initial code drop for open source BinExport.

This is BinExport 9, to be used with the "binexport9" branch of BinNavi:
https://github.com/google/binnavi/tree/binexport9