Merged bap_types into bap_core

This version is essentially slightly modified `bap_types` from gerrit's master branch. The main difference is that is not a packaged library now, and that top library moved to `bap_core`.  Also, I've changed `README.md` file and added some handy tools, namely `baptop` and `bapbuild`. 
To be consistent we should convert these to either "as point-free as possible" or pointed. Mixing between the two is not recommendable.