Improved Travis config. Relates to #1.