Simplify & fix QuickSort benchmark
temp
remove eclipse
Merge branch 'memoization' of github.com:manoskouk/leon
Restore some benchmarks