Brave header file with bitfiles info now under auto-src.

orchestrator/taste-orchestrator.py

@@ -2689,7 +2689,7 @@ def main():
     if bNoBitfile == False:
         bitFileOffset = 0;
         savedDir = os.getcwd()
-        bitFilesHeader = open("bravebitfiles.h", "a")
+        bitFilesHeader = open("auto-src/bravebitfiles.h", "w")
         bitFilesHeader.write('''
 struct config_bitfile {
     char *config;