"ISIL fighter" is gunned down by commandos after murdering a senior police officer near Paris