openal-soft: switch to GitHub mirror

repo.or.cz is too unreliable and keeps breaking my builds.