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
Introduce class Negatable
Rename the Negatable class to Neg
Make unary "-" use the Neg typeclass
Add support for the primitive prim__negFloat : Float -> Float
Rename float negation primitive for more uniformity
Add test for new float primitive prim__negFloat