Merge branch 'fix-insn-pickling' into 'master'
Improve pickleability: Avoid interning instruction ids that are None, which causes a TypeError (closes #14). See merge request !69
Improve pickleability: Avoid interning instruction ids that are None, which causes a TypeError (closes #14). See merge request !69