Africa Oil boosted after Total’s new discovery in Namibia