Beginnings of integer SIMD support (no backend yet)
Delete unused utility functions
Define some primitive SIMD operators
Added SIMD vector index and update primitives
Fix IBC encoding of new IR arithmetic types
Remove incompete(?) pattern support for SIMD values
Support for serializing SIMD data
Parse integer SIMD types
SIMD comparison primitives
Vector operation support in LLVM codegen
Merge branch 'simd' of https://github.com/Ralith/Idris-dev into JavaRepairs
Merge branch 'simd' of https://github.com/Ralith/Idris-dev into JavaRepairs
Java Backend Overhaul Part 1
Communicate invariance of freshly initialized memory to LLVM
Loads are invariant
run installJavaLib also in postCopy

I think installJavaLib also needs to be run in postCopy,
though still untested.
Make ChType a member of IntTy ITChar.

This enables back end specific character encoding and unifies some operations.
Note that there is no Ord instance, so
```
'a' + 1
```
will not work. However
```
prim__addChar 'a' (prim__truncBigInt_Char 1)
```
is now possible and client libraries may feel free to put it to good use (e.g. checking for character ranges).
Proper tail calls and ArithTy ITChar support
Merge branch 'master' of https://github.com/edwinb/Idris-dev into JavaRepairs
Make ChType a member of IntTy ITChar.

This enables back end specific character encoding and unifies some operations.
Note that there is no Ord instance, so
```
'a' + 1
```
will not work. However
```
prim__addChar 'a' (prim__truncBigInt_Char 1)
```
is now possible and client libraries may feel free to put it to good use (e.g. checking for character ranges).