Setting up travis buil for Diophantus