Use BARF as a disassembly backend for Binnavi

[BinNavi](https://github.com/google/binnavi) is a graphical binary navigator useful for reverse engineering software. Currently, it relies on a commercial software, IDA Pro, to do the disassembly work. The goal is to use BARF as a replacement for the tasks done by IDA Pro.
