* [recursion] Fixes the infinite recursion in the check for integers and strings

* [recurs] More output and added hamcrest.

* [recurs] Wrong project

* [recurse] Tests need sat4j on the path

* [recurse] Running in some problems with the split

- Moved models to core
- Application had wrong resource directory
- Core gradle file was including a wrong dependency (all deps must go through bnd)