Try to use gmake before falling back to make
Try to use gmake before falling back to make

On some platforms (like FreeBSD) make is not GNU make, which is the make
used by the angr project. This patch makes it easier to find the desired
make binary.

angr/angr,angr/angr,angr/angr