Merge branch 'augeas-ci' into 'master'

Check whether our Augeas lens is sane

See merge request !108
9 jobs for gen_navy
in 1 minute and 28 seconds and was queued for 6 seconds