Travis should ignore release tags

Version tags are only created for green builds of master and do not
introduce any changes to the source, so they do not need to be built
again.
Version 0.5.2