make level editor work with BitVec, fix #53 by storing width/height in backups