ogma-cli: Remove old travis file. Refs #139.

A prior commit has introduced a Github Actions file to build Ogma with
every push and every pull request.

This commit removes the corresponding Travis CI file, since it no longer
makes sense to keep it.