remove eclipse
Merge branch 'memoization' of github.com:manoskouk/leon
Restore some benchmarks