Add adaptive LP and cut generation decoder (using GLPK). Improve documentation.