mint-arena: Delete the engine files
mint-arena: update Makefile and travis