Release for the journal version of the VSTTE paper

This release is created for the journal version of the paper "Bidirectional Grammars for Machine-Code Decoding and Encoding", which will appear in a special version of Journal of Automated Reasoning.