Initial commit

Initial commit to the BFVM