Reading/Writing BAF

Binary ATerm Format is compact and preserves sharing. AFAIK it's actually used quite a bit by some older tools, so this will be useful to have.