update Gaudi version to v35r0.002
fixes for ARM: see gaudi/Gaudi!1153 (merged)
Also fix bug in externals build script to make sure externals are rebuild whenever EXTRACMAKE
changes (previously only the first entry was considered).
Edited by Frank Winklmeier