Really really fix linearInequality.
Fix the union operator on parallelotopes.
A bug in the pivoting procedure in the compation object prevented union to work in
many cases.
Ignore Idea projects.
Move to git version of Soot.
Update compilers, libraries and tools.
Fix compile errors for Scala 2.11.
Fix compile errors for Breeze 0.9.
Remove warnings for Scala 2.11.
Remove warnings for Breeze 0.9.
Remove warnings for ScalaTest 2.1.
Upgrade compilers, libraries and tools.

Merge branch 'tool-upgrade'