math/lemon: Add GLPK option, remove DOCS option

GLPK license is very different, so it's better to make this dependency conditional on the port option

The port doesn't install any docs.