add libglpk-dev to ubuntu build instructions
Merge branch 'dynamic-libraries' of github.com:DanGrayson/M2 into dynamic-libraries