renamed Travis to Mantis; bumped version from v0.9.4 to v0.9.5

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