specify stan branch in travis.yml