This patch adds a function to check if a linear extension of a poset is greedy.

CC: @kevindilks @fchapoton

Component: combinatorics

Author: Jori Mäntysalo

Branch/Commit: 478aee4

Reviewer: Travis Scrimshaw

Issue created by migration from https://trac.sagemath.org/ticket/24632