Fix tag names in TravisCI config

Change-Id: Ife7a415a49488083eb6a020b62bffc83ba3ea716