A newly discovered 'killer jaw' crocodile adds to the growing list of toothy marine crocodiles that flourished during the Age of Dinosaurs.