Support uniqueness types when executing IO actions in REPL
Add test for basic REPL commands
Merge pull request #1511 from tac-tics/basic-repl-test

Add test for basic REPL commands
Merge pull request #1510 from soimort/uniqueness-execute

Support uniqueness types when executing IO actions in REPL
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)
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