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`. 
can you explain what is "point-free"? I do not understand you comment