Additional OSs in travis-ci