Support uniqueness types when executing IO actions in REPL
Fix for language-java 0.2.7
Merge pull request #1510 from soimort/uniqueness-execute

Support uniqueness types when executing IO actions in REPL
Install newer alex from Hackage for tests
Merge branch 'RyanGlScott-master'
Merge remote-tracking branch 'upstream/master'
Fix typo in help message (language extension)
Merge pull request #1522 from soimort/patch-typo-fix

Fix typo in help message
Use exact name lookup when building from ibc
Merge pull request #1523 from edwinb/ibc-fix

Use exact name lookup when building from ibc
Add annotations for :search result classification
Add upper bounds to cabal package dependencies.
Merge pull request #1525 from bmsherman/searchAnnotation

Add annotations for :search result classification
Remove Cabal library dependency and add more upper bounds
Merge pull request #1528 from bmsherman/cabalUpperBounds2

Add upper bounds to cabal package dependencies (second try)
Prevent REPL from compiling to source file
Factor out LLVM backend

The LLVM backend is now available as a seperate project on github.
Adapt travis testing
Only build llvm backend if testing llvm
Make sure we use the official version of idris-llvm for testing