travis-ci: doesn't have libboost-atomic-dev
travis-ci: coverity update