Add more variants for makefiles
Add GNUmakefile
Add comment
Add build-essential
Fix
Bump armadillo to 4.200.0
Add themse
Correct setting of HISTCONTROL
Fix package names
Fix
Fix
Updates for Ubuntu 14.04
Fi
Fixes
Fi
Make use of assert-ppa
Don't call apt-get update after calls to assert-ppa