Merge branch 'master' of https://github.com/GorlJimmy/proof-digger

Conflicts:
	proof-digger/logs/logback.log
	proof-digger/src/main/java/org/linuxkernel/proof/digger/datasource/GoogleDataSource.java
Signed-off-by: GorlJimmy <gorljimmy@gmail.com>
Merge remote-tracking branch 'origin/master'