little fix
Merge remote-tracking branch 'origin/master'

Conflicts:
	bugzillaMiner/miner/Miner.py
format output print
extract comments
fix some bugs
test
1
add time counting