add universe repository for precompiled gendarme packages