misc: fix manifest, restrict wheel upload to main

Author: donn

.github/workflows/ci.yml

@@ -86,6 +86,7 @@ jobs:
           path: ./wheelhouse/*.whl
   upload_wheels:
     name: Upload Wheels
+    if: github.event_name == 'push' && github.ref == 'refs/heads/main'
     runs-on: ubuntu-latest
     # Specifying a GitHub environment is optional, but strongly encouraged
     environment: pypi

MANIFEST.in

@@ -1,4 +1,5 @@
 include Readme.md
+include libparse/stdio_filebuf.h
 include yosys/kernel/*.h
 include yosys/kernel/constids.inc
 include yosys/passes/techmap/libparse.*