README.md

This program is a simple wrapper around AtelierB bcomp that I use to typecheck B programs in Vim (see https://github.com/rsaill/vim-b).