Add DISTRO option to travis-ci build file

... Because travis-ci.org uses Ubuntu