Added travis support

Added push tagging support from travis.