Nå er det klart: Filip Ingebrigtsen får OL-plass