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
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
Merge branch 'ITChar' into JavaRepairs
Merge branch 'master' of https://github.com/edwinb/Idris-dev into JavaRepairs
SSA style stack management and FChar is finally gone.
Missing cabal entries added.