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`. 
I've just understood, that I do not commit my comment replies on gerrit)) There was an explanation. I'm using curried constructors whenever possible, falling back to ordinary ones in cases when lowercasing the constructor name will lead to a syntactically incorrect code. In this case, since `and` is a keyword (although deprecated) for an infix operator, I can't use it. On the other hand it will be even better idea not to use such constructor names.