Stabbing attack at Paris police HQ: What is known