travis: deploy and documentation stages only for when pushing
travis: deploy and documentation stages only for when pushing

ExplorViz/explorviz-ui-frontend,ExplorViz/explorviz-ui-frontend,ExplorViz/explorviz-ui-frontend