ppl011: disable demo programs

This fixes the build in the presence of glpk from homebrew-science

Fixes #326.
ppl10: disable demo programs

This fixes the build in the presence of glpk from homebrew-science