Bap_types 0.2 is out

Highlights
==========

1. Library is now packaged and properly namespaced. Start from [Std]
module

2. Full support for top-level interaction, just require "bap-types.top",
and everything will work out of box.

3. There're 7 core types all implementing common all-inclusive interface
   (Std module contains more then 7000 values)

4. Fresh new pretty-printers with proper indentation.

5. Conceval and tests are rewritten over the new interface, so  one can
consult them for extra reference.

Breaking changes
================

1. There is no more Bil module. See [Exp] and [Stmt] modules, they have
all the information you need.

2. Sizes were refactored, so that now, one can't create an operation
with invalid sizes. This means, that [Bil] language representation was
slightly changes, cf., load, store, cast operations, now accepts proper
sizes (as per semantics from Bap Handbook)

Update 1
--------

1. Added back check section into a Makefile.
2. Added other auto-generated stuff.

Update 2
--------

Addressed issues reported by reviewers.

1. Added more documentation, but there's still a big room for
   improvement.

2. Refined Bitvector:
   - removed deprecated interface;
   - removed Bytes interface (to my personal user experience it is not
     convenient);
   - added [Int] and [Int_exn] submodules that implements [Z] (not in
     algebra point of view, but in zarith's)
   - added sequence iterators over bits and bytes (in a specified
     direction), also endian type now lives in bitvector.
   - fixed issues with signs
   - added lots of tests (and fixed many bugs)
   - added tons of documentation
   - added many helper functions
   - removed ugly create function

3. Extended Addr module with address arithmentics.

4. Added explicitly polymorphic size type, that can allow users to
   specify their own subsets of types.

Change-Id: I577e1d882da85a1f0d27a8b76a2f4ee2ef468d7d