Add Travis instructions. At the same time, test whether setting up Travis
via GitHub works properly.