French military aircraft have flown reconnaissance and intelligence missions over Libya, including areas controlled by Islamic State, and more are planned, a presidential document shows.