BAP structure is refactored

Complex hierarchy is now hidden under one umbrella bap.mli. Bap_* modules are marked as internal and is no more installable and, thus, they do not polute the namespace. This will of course, break the code that used this internal modules. It is intended behavior.

New documentation generator

camlp4 messes with mli files, rendering autogenerated API unreadable. To mitigate this, a small bapdoc tool was written that preprocess file and removes all syntax extensions, and then run ocamldoc on a preprocessed file. The tool was integrated with build system.

Disabled peer checking when downloading signatures

Fixed assembly pretty-printing

Fixed reading PE-64

Fixed Block.dfs exhaustiveness issue. Also Block.dfs now has an order parameter, allowing to choose between post-order and pre-order traversal.

Fixed to_graph issue, i.e., #181

Fixed bapbuild double linking, see #193

Ordered block destinations, see #191

Fixed an issue in x86 lifter, see #198

Fixed interaction with IDA, see #189