Try adding Travis integration
Try adding Travis integration

Rather experimental - this must be debugged by committing. This is not
on a branch because Travis integration need be on all
branches (otherwise you get failures when pushing on other branches just
because they don't have the Travis configuration).

inc-lc/ilc-agda