Merge pull request #430 from abeaumont/master

[crt] Fix <byte-vector> initialization.
[dfmc] Move emit-dfm to base <back-end> class, since it was duplicated in
every back-end.