Update the angr project ports to 9.0.4378
This patch introduces security/py-angr/Makefile.version file, which stores
the shared version of all the angr ports (as ANGR_VERSION). It also stores
the tagname of a distribution file, which is required for testing
(ANGR_BINARIES_TAGNAME).