build script for Travis container-based infrastructure
build script for Travis container-based infrastructure

new script is based on hvr/multi-ghc-travis template, featuring

+ build against multiple GHC vesions (currently 7.6, 7.8 and 7.10)
+ dependencies caching and cache invalidation on dependencies changes

mpkh/Idris-dev,Heather/Idris-dev,bravit/Idris-dev,eklavya/Idris-dev,shlevy/Idris-dev,jeremy-w/Idris-dev,Heather/Idris-dev,mrmonday/Idris-dev,uuhan/Idris-dev,bravit/Idris-dev,markuspf/Idris-dev,jmitchell/Idris-dev,uuhan/Idris-dev,mrmonday/Idris-dev,KaneTW/Idris-dev,aaronc/Idris-dev,lenary/Idris-dev,jmitchell/Idris-dev,KaneTW/Idris-dev,TimRichter/Idris-dev,tpsinnem/Idris-dev,uuhan/Idris-dev,aaronc/Idris-dev,ozgurakgun/Idris-dev,enolan/Idris-dev,tpsinnem/Idris-dev,FranklinChen/Idris-dev,TimRichter/Idris-dev,KaneTW/Idris-dev,eklavya/Idris-dev,mrmonday/Idris-dev,enolan/Idris-dev,jeremy-w/Idris-dev,FranklinChen/Idris-dev,mrmonday/Idris-dev,kojiromike/Idris-dev,TimRichter/Idris-dev,kojiromike/Idris-dev,adnelson/Idris-dev,ozgurakgun/Idris-dev,jeremy-w/Idris-dev,aaronc/Idris-dev,ben-schulz/Idris-dev,adnelson/Idris-dev,shlevy/Idris-dev,adnelson/Idris-dev,adnelson/Idris-dev,TimRichter/Idris-dev,Heather/Idris-dev,jmitchell/Idris-dev,lenary/Idris-dev,kojiromike/Idris-dev,markuspf/Idris-dev,kojiromike/Idris-dev,ben-schulz/Idris-dev,tpsinnem/Idris-dev,markuspf/Idris-dev,ozgurakgun/Idris-dev,eklavya/Idris-dev,shlevy/Idris-dev,TimRichter/Idris-dev,ozgurakgun/Idris-dev,Heather/Idris-dev,mpkh/Idris-dev,mrmonday/Idris-dev,enolan/Idris-dev,markuspf/Idris-dev,TimRichter/Idris-dev,ben-schulz/Idris-dev,Heather/Idris-dev,lenary/Idris-dev,enolan/Idris-dev,mpkh/Idris-dev,aaronc/Idris-dev,shlevy/Idris-dev,mpkh/Idris-dev,uuhan/Idris-dev,bravit/Idris-dev,kojiromike/Idris-dev,aaronc/Idris-dev,jmitchell/Idris-dev,adnelson/Idris-dev,KaneTW/Idris-dev,KaneTW/Idris-dev,FranklinChen/Idris-dev,lenary/Idris-dev,uuhan/Idris-dev,lenary/Idris-dev,ozgurakgun/Idris-dev,bravit/Idris-dev,mpkh/Idris-dev,aaronc/Idris-dev,ben-schulz/Idris-dev,uuhan/Idris-dev,FranklinChen/Idris-dev,adnelson/Idris-dev,jeremy-w/Idris-dev,shlevy/Idris-dev,tpsinnem/Idris-dev,uuhan/Idris-dev,markuspf/Idris-dev,eklavya/Idris-dev,FranklinChen/Idris-dev,Heather/Idris-dev,eklavya/Idris-dev,enolan/Idris-dev,jmitchell/Idris-dev,eklavya/Idris-dev,mpkh/Idris-dev,bravit/Idris-dev,tpsinnem/Idris-dev,ben-schulz/Idris-dev,bravit/Idris-dev,FranklinChen/Idris-dev,enolan/Idris-dev,lenary/Idris-dev,mrmonday/Idris-dev,markuspf/Idris-dev,ozgurakgun/Idris-dev,jmitchell/Idris-dev,kojiromike/Idris-dev,tpsinnem/Idris-dev,KaneTW/Idris-dev,jeremy-w/Idris-dev,markuspf/Idris-dev,jeremy-w/Idris-dev,shlevy/Idris-dev,ben-schulz/Idris-dev