Fixing documentation for glpk configuration.
More documentation fixes. Apologies for multiple commits.
Fix compiler warning (missing virtual dtor)