Merge branch 'thanos_support' into 'master'

Thanos support

See merge request allnp/peasoup_examples!2

Former-commit-id: 4ed1a54d9436a5cb085fcdd89a380746f1237209

.gitignore

@@ -2,3 +2,4 @@ cgc_spri/spawner
 chopzero_src/chopzero
 manifest.txt.config
 tests/tmp*
+*.swp

tools/db/pdb.createprogram.tbl

@@ -80,7 +80,7 @@ CREATE TABLE #ITN#
 
 CREATE TABLE #RTN#
 (
-	reloc_id	      	SERIAL PRIMARY KEY, 	-- id in the table
+	reloc_id	      	integer, 	-- id in the table
 	reloc_offset 	  	integer DEFAULT 0,	-- how far into the object/instruction is the relocation
 	reloc_type	    	text DEFAULT '',	-- what type is the relocation.
 	instruction_id  	integer DEFAULT -1,	-- the object/instruction for this reloc, field name is anachronistic.