改了改server的函数名错误什么的
Database测试完成, User加了一个toString函数, OnlineSearcher运行不再出错[但是会connect
timeout]
Merge branch 'dev' of https://github.com/plumer/diki into dev

Conflicts:
	lab02/Database.java
Orz数据库的zan+1函数和unzan+1函数集成到sqlInsertZanlog和sqlInsertUnzanlog里了[所以我顺便把server那边的两个删了]