first statistical information
added StatisticsLemma for statistical information.
added lib/ directory for building the project from build file
updated Starter

added functionality to output the statistical data.
updated dbManager.jar
added a global .gitignore file

This helps keeping the git repository maintained more easily.