Basic functionality.

- Most functionality is coded. Not tested ;)
- Added Eclipse java format in agora-format.xml
- Some Eclipse project files

Missing:
- Main iteration loop with fixpoint stop condition
- Actually getting data from the database...