Build with RGBDS 0.8.0, though it is not yet required

.github/workflows/main.yml

@@ -16,7 +16,7 @@ jobs:
         uses: actions/checkout@master
         with:
           path: rgbds
-          ref: v0.7.0
+          ref: v0.8.0
           repository: gbdev/rgbds
 
       - name: Install rgbds

tools/unnamed.py

@@ -90,14 +90,14 @@ def read_string(file):
 		elif magic == b'RGB9':
 			obj_ver = 10 + unpack_from('<I', file)[0]
 
-		if obj_ver not in [6, 10, 11, 12, 13, 15, 16, 17, 18, 19]:
+		if obj_ver not in [6, 10, 11, 12, 13, 15, 16, 17, 18, 19, 20]:
 			print(f"Error: File '{objfile}' is of an unknown format.", file=sys.stderr)
 			sys.exit(1)
 
 		num_symbols = unpack_from('<I', file)[0]
 		unpack_from('<I', file) # skip num sections
 
-		if obj_ver in [16, 17, 18, 19]:
+		if obj_ver in [16, 17, 18, 19, 20]:
 			node_filenames = []
 			num_nodes = unpack_from('<I', file)[0]
 			for x in range(num_nodes):
@@ -117,7 +117,7 @@ def read_string(file):
 			sym_type = symtype(unpack_from('<B', file)[0] & 0x7f)
 			if sym_type == symtype.IMPORT:
 				continue
-			if obj_ver in [16, 17, 18, 19]:
+			if obj_ver in [16, 17, 18, 19, 20]:
 				sym_fileno = unpack_from('<I', file)[0]
 				sym_filename = node_filenames[sym_fileno]
 			else: