The congruence subgroup problem and the fundamental group of the reductive Borel-Serre compactification