Update Python wheels download script, IBEX version (now includes gaol/gaol instead of goal/gaol.h), arm packages and wheels generation, documentation

Update Python wheels download script, IBEX version (now includes gaol/gaol instead of goal/gaol.h), arm packages and wheels generation, documentation #204