Update .gitignore.
Fix serialization of symbol table: Add the size of the table, fix encoding of the size of the symbol names.