sci-mathematics/alt-ergo: fix bug #479994: move sources to my dev space