make python path walker print real paths

Author: arik-so

ci/walker.py

@@ -6,4 +6,4 @@
 # Create a collection of local header (or C) files
 for current_directory, current_subdirectories, current_files in os.walk(walk_directory):
 	for current_file in current_files:
-		print(os.path.join(current_directory, current_file))
+		print(os.path.realpath(os.path.join(current_directory, current_file)))