Finalize Travis config: Disable caching and debug

Caching is only for professional accounts, so no wonder it doesn't work
for us. Anyway, this only slows down checking of Agda code, so no big
deal.