Travis CI and David DM inclusion