Fixed date bug. Removed example.java. GUI fixes
Update readme and proverif