Change elf header offset bound checking

Variable elf_header_size is in fact the maximum of elf header size
Merge pull request #18 from tiffanyb/elf_offset_check

Fix Issue #17
fixed issue with silent death.

There was Format open module open, which outputed all data to a
formatter, that wasn't flushed.
Merge pull request #19 from ivg/readbin-error-output

fixed issue with silent death.
Add byteweight

remove comment

Absort the word 'in' to the end of last line

Remove redundant comment

Change signature file readin function

Remove Str dependency

Rename module type in mode

Add mli files; remove redundant file

Abandon native table implementation. Use Bap_table instead.

Remove redundant code

Remove Gt module. The symbols of training binary are already in Symbol module.

Remove unused variable and some comment

Change function format name to string_of_key; add mli

Change from Memory.copy to Memory.view

Add labels

Remove redundant comment

Remove swp file

We don't need Gt module now

Move trie module to separate file

Add annotation

Add document of memory_of_symbol

Fix typo

Memory_of_symbol is already in acending order; pull out helper function

Change iteration function parameter order

Edit type

Change create function label

Change recursive function name

Fix ByteWeight bugs