Setting up travis build for Diophantus