Adding ppa for armadillo no older ubuntu.
Merge branch 'master' of github.com:roboime/pfc-jan-bramigk
Fixing compilation issues.
Option to enable docs with sphinx, off by default.
This file must have been commited by accident.
Prevent some editor files from being commited again.