The command `git rev-parse --abbrev-ref HEAD` is not returning the branch name
in the travis server, and for the version in AppImage filename it would be
enough to have the short commit id.

Note that these changes are branch dependant.

See issue #1092