Update CoqPL15 pdf