Changed output of immediates from decimal to hex.

This change affects the default printer in the C++ LLVM code, as
well as the BAP LLVM operand printing code.
[Iss #31] Updated version number to 0.9.

The last release of BAP previous to the move to GitHub was 0.8.
The current release is 0.9.  We will move to 1.0-alpha once we
are feature complete with 0.8:
 - Disassembler
 - Lifting for x86 and ARM
 - CFG generation
 - SMT binding
 - Python bindings.

See issue #31 history for discussion.
Merge pull request #39 from dbrumley/issue36

[Iss #36] Changed output of immediates from decimal to hex.
Merge pull request #38 from dbrumley/issue31

[Iss #31] Updated version number to 0.9.
Merge pull request #32 from ivg/arm-lifter-review

ARM lifting.
add bap-mc
Merge pull request #42 from rvantonder/bap-mc

add bap-mc
extended several types

Added sexp_of for ease of debugging.

Also renamed nil register to Nil.
Extended Regular type with more printers.

See docs.
added a Core overlay for Lwt library.
implemented a resource manager.
added transport multiplexer.
introduce Memory.size
Removed extra cell from a build matrix

Looks like that ocaml 4.02 doesn't work with opam 1.1.0
Merge pull request #50 from maverickwoo/memory-size

introduce Memory.size (resolve #48)
Fix some minor build issues.

1. Configure script will now explicitly check, that llvm is found
   and give a sane error message otherwise.

2. Since we ship Makefile and configure files, we should assume, that
   users will not read our documentation and just run make or
   ./configure or both. Now, scripts will auto-magically figure out what
   is happening and run oasis by themselves if needed. Actually, the
   true way now is just to call `make`, since it will prevent users from
   accidentally ignoring errors in configure script.

3. Everybody reports the warning from oasis as errors. It is really
   frustrating. Many even stop after seeing the warning. This PR will
   reduce the amount of warnings. First of all oasis is called inside
   configure script with -quiet option. Next, the proper environment
   variables are set, so that ocamlfind eschew to emit extra warnings.

4. Many systems by default name llvm-config just as llvm-config, and do
   not provide files with explicit version numbers, unlike ubuntu does.
   This PR addresses this issue, using by default `llvm-config` on
   linux, and `llvm-config-mp-3.4` on macosx. Adding explicit version
   requirements with command line argument `--with-llvm-version=<ver>`
   will append the <ver> to the filename.
Merge pull request #52 from ivg/fixing-build-issues

Fix some minor build issues.

Resolves #46, #10 and other issues that wasn't reported via issue tracker.

Also you may find this [notes](https://github.com/BinaryAnalysisPlatform/bap/wiki/Build-tips-and-tricks) useful.
Fixed dwarf parser overflow issue.
Merge pull request #53 from ivg/fix-dwarf-parser

Fixed #53 (dwarf parser overflow issue).
added x86 to a test suite.

X86 test suites revealed new bugs in bap_dwarf, that is fixed in this
PR.

Also this PR splits tests and speeds up compilation.