Build #14:   fix Coveralls badge, add initial kernel tests on branch master over 9 years ago