changed name from Travis to Mantis [deploy]

Signed-off-by: Floyd Pink <imbleedingme@googlemail.com>