Bundesimmobiliengesellschaft (BIG), Sanierung Arsenal-Areal