Some testing changes.
Merge branch 'master' of https://github.com/dyxliang/ZooTypers.git

Conflicts:
	ZooTypers/reliability/options-log.txt
	ZooTypers/website/status.js