Use the artifactory proxy on a7

There is a new artifactory proxy installed on a7; it should reduce a little bit the time required for the builds. /cc @retronym, @gkossakowski