Libya: Total makes new oil discovery