Revert "Added configuration file for Travis CI."

This reverts commit d014f467a49520b4aa50a55636a40dc83a45650f.

My apologies: the commit was meant to go on my fork while I'm experimenting
with TravisCI.